scholarly journals Modelling Business Processes Using Evolutionary Generated Petri Nets

2017 ◽  
Author(s):  
Jan Plucar ◽  
Ondrej Grunt ◽  
Pandian Vasant ◽  
Ivan Zelinka
Keyword(s):  
Petri Nets ◽  
Business Processes

THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT

1998 ◽  
Vol 08 (01) ◽  
pp. 21-66 ◽  
Author(s):  
W. M. P. VAN DER AALST
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Business Processes ◽  
State Of The Art ◽  
Workflow Management ◽  
Explicit Representation ◽  
The Other ◽  
Application Domain ◽  
Analysis Techniques ◽  
The One

Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the use of Petri nets in the context of workflow management. Petri nets are an established tool for modeling and analyzing processes. On the one hand, Petri nets can be used as a design language for the specification of complex workflows. On the other hand, Petri net theory provides for powerful analysis techniques which can be used to verify the correctness of workflow procedures. This paper introduces workflow management as an application domain for Petri nets, presents state-of-the-art results with respect to the verification of workflows, and highlights some Petri-net-based workflow tools.

CONTRIBUTION FOR MODELING OF THE BUSINESS PROCESSES THROUGH THE FORMALISM OF PETRI NETS

2007 ◽  
Author(s):  
Barbara K Okayama ◽  
Eduardo Rocha Loures ◽  
Eduardo A. Portela Santos ◽  
Marco Antonio Busetti
Keyword(s):  
Petri Nets ◽  
Business Processes

scholarly journals Business Process Improvement of Production Systems Using Coloured Petri Nets

2018 ◽  
Vol 7 (1) ◽  
pp. 102-112 ◽  
Author(s):  
Imam Mukhlash ◽  
Widya Nilam Rumana ◽  
Dieky Adzkiya ◽  
Riyanarto Sarno
Keyword(s):  
Petri Nets ◽  
Business Process ◽  
Business Performance ◽  
Business Processes ◽  
Production Systems ◽  
Coloured Petri Nets ◽  
Manufacturing Companies ◽  
Fundamental Factor ◽  
Bottleneck Analysis

The quality of information systems affects the company's business performance. Therefore, it is necessary to analyze business processes to determine any discrepancies between the planned business processes and the actual ones. Based on the results of this analysis, the business process can be improved. The fundamental factor of manufacturing companies is production process. In reality, there are many discrepancies between the actual business processes with the pre-planned, so that there should be analyzed. The analysis can be performed by modeling the business process using Coloured Petri Nets (CPN). In this study, the objectives are to determine the level of conformance checking of business processes, reachability graph and the bottleneck analysis. The results of the analysis are used to construct a recommended model. Based on the analysis of the case study, e.g. a steel industry in Indonesia, the recommended model has a better value than initial model.

Assigning Ontological Meaning to Workflow Nets

2012 ◽  
pp. 209-244
Author(s):  
Pnina Soffer ◽  
Maya Kaner ◽  
Yair Wand
Keyword(s):  
Petri Nets ◽  
Business Process ◽  
Business Processes ◽  
Process Models ◽  
Actual Process ◽  
Workflow Nets ◽  
Business Process Models ◽  
Business Goals ◽  
General Constraints ◽  
Process Behavior

A common way to represent organizational domains is the use of business process models. A Workflow-net (WF-net) is an application of Petri Nets (with additional rules) that model business process behavior. However, the use of WF-nets to model business processes has some shortcomings. In particular, no rules exist beyond the general constraints of WF-nets to guide the mapping of an actual process into a net. Syntactically correct WF-nets may provide meaningful models of how organizations conduct their business processes. Moreover, the processes represented by these nets may not be feasible to execute or reach their business goals when executed. In this paper, the authors propose a set of rules for mapping the domain in which a process operates into a WF-net, which they derived by attaching ontological semantics to WF-nets. The rules guide the construction of WF-nets, which are meaningful in that their nodes and transitions are directly related to the modeled (business) domains. Furthermore, the proposed semantics imposes on the process models constraints that guide the development of valid process models, namely, models that assure that the process can accomplish its goal when executed.

Partial Reconfiguration of Control Systems using Petri Nets Structural Redundancy

2015 ◽  
Vol 44 (3) ◽  
pp. 287-301
Author(s):  
Mildreth I Alcaraz-Mejia ◽  
Raul Campos-Rodriguez ◽  
Ernesto Lopez-Mellado ◽  
Antonio Ramirez-Trevino
Keyword(s):  
Resource Allocation ◽  
Petri Nets ◽  
Control Systems ◽  
Business Processes ◽  
Discrete Control ◽  
System Control ◽  
Partial Reconfiguration ◽  
Structural Redundancy ◽  
System 2 ◽  
System Controller

This paper deals with the partial reconfiguration of the discrete control systems due to resource failures using the structural redundancy of the global system model. The approach herein proposed introduces a new subclass of Interpreted Petri Nets (IPN), named Interpreted Machines with Resources (IMR), allowing representing both the behaviour of a system and the resource allocation. Based on this model, an efficient reconfiguration algorithm is proposed; it is based on finding the set of all redundant sequences using alternative resources. The advantages of this structural reconfiguration method are: (1) it provides minimal reconfiguration to the system control assuring the properties of the original control system, (2) since the model includes resource allocation, it can be applied to a variety of systems such as Business Processes, and FPGAs, among others. The method is illustrated through a case study dealing with a manufacturing system controller that includes both alternative resources and operation sequences.DOI: http://dx.doi.org/10.5755/j01.itc.44.3.8783

Formal verification of complex business processes based on high-level Petri nets

2017 ◽  
Vol 385-386 ◽  
pp. 39-54 ◽  
Author(s):  
Ahmed Kheldoun ◽  
Kamel Barkaoui ◽  
Malika Ioualalen
Keyword(s):  
Petri Nets ◽  
Formal Verification ◽  
Business Processes ◽  
High Level

Validating Component-Based Implementations of Business Processes

2011 ◽  
pp. 124-151
Author(s):  
Jens Lemcke ◽  
Andreas Friesen ◽  
Tirdad Rahmani
Keyword(s):  
Petri Nets ◽  
Business Process ◽  
Business Processes ◽  
Process Models ◽  
Action Refinement ◽  
Deadlock Analysis ◽  
Multiple Process ◽  
Component Based Software Engineering ◽  
Exponential Complexity ◽  
Different Levels

This chapter provides a formal specification of non-atomic, relaxed action refinement suited for component-based business process engineering. Engineering a business process involves multiple process models created by different people on different levels of abstractions. Keeping the models consistent during the engineering procedure—refinement validation—is one objective of this chapter. In component-based software engineering, the lowest abstraction of a business process is mapped on existing components that have a description of their behaviors. Checking the consistency of process and component behavior—grounding validation—is the second objective. Both refinement and grounding validation increase the robustness of business process implementations and the productivity of process engineers. Technically, the specification given in this chapter is in terms of deadlock analysis in safe Petri nets. The evaluation of this straight-forward implementation underlines the exponential complexity of deadlock analysis in safe Petri nets. For use cases with more than 30 activities per process or heavy parallelism, optimized implementations are needed.

Research on the Petri Nets Modeling Method of the Task-Oriented Spare Parts Support Process

2014 ◽  
Vol 644-650 ◽  
pp. 2459-2462
Author(s):  
Yu Zhu ◽  
Tie Ning Wang
Keyword(s):  
Petri Nets ◽  
Process Modeling ◽  
Business Processes ◽  
Major Elements ◽  
Spare Parts ◽  
Modeling Method ◽  
Modern Information Technology ◽  
Support Resources ◽  
Major Process ◽  
Task Oriented

In the view of the current support process of spare parts is not comprehensive enough, all aspects without linking with each other, the resources without being shared, spare parts with slow turnaround and high inventory levels, which results in low economic efficiency. Therefore, considering the modern information technology and network technology, the document research on the spare parts support process optimization, which is to make the process more scientific and reasonable, support resources more economical, and respond more sensitive, thereby increasing military and economic benefit of the spare parts support. By means of analyzing three major elements of the spare parts support process modeling including perception task, spare parts resources, business processes, and analysis of several major process modeling method, the document raise the modeling method of petri nets for the task-oriented spare parts support process.

scholarly journals Protos2CPN: using colored Petri nets for configuring and testing business processes

2007 ◽  
Vol 10 (1) ◽  
pp. 95-110 ◽  
Author(s):  
F. Gottschalk ◽  
W. M. P. van der Aalst ◽  
M. H. Jansen-Vullers ◽  
H. M. W. Verbeek
Keyword(s):  
Petri Nets ◽  
Business Processes ◽  
Colored Petri Nets
Sign in / Sign up

Export Citation Format

Share Document