scholarly journals A Logic Petri Net-Based Method for Repairing Process Models With Concurrent Blocks

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 8266-8282 ◽  
Author(s):  
Yuanxiu Teng ◽  
Yuyue Du ◽  
Liang Qi ◽  
Wenjing Luan
Keyword(s):  
Petri Net ◽  
Process Models

Modeling Collaborative Engineering Design Process Using Petri-Net

2000 ◽  
Author(s):  
Li Zhao ◽  
Yan Jin
Keyword(s):  
Engineering Design ◽  
Design Process ◽  
Petri Net ◽  
Collaborative Design ◽  
Process Model ◽  
New Technologies ◽  
Process Models ◽  
Collaborative Engineering ◽  
Routine Design ◽  
High Level

Abstract Collaborative engineering involves multiple engineers and managers working together to develop engineering products. As the engineering problems become more and more complicated, new technologies are required to achieve better effectiveness and efficiency. While process models management and technologies have been developed to support engineering design, most of them apply only to routine design tasks and do not explicitly deal with the change of processes during execution. Our research proposes a process-driven framework to support collaborative engineering. The framework is composed of a process model that captures both high level and low level activity dependencies, an agent network that monitors process execution and facilitates coordination among engineers, and a Petri-net based modeling tool to represent and analyze process features and predict the performance of engineering processes. In this paper, we first describe a simple collaborative design problem and our proposed ActivePROCESS collaborative engineering framework. After that we present our Petri-net based analytical model of collaborative design process and discuss the model along with a case example.

scholarly journals Free-choice Nets with Home Clusters are Lucent

2021 ◽  
Vol 181 (4) ◽  
pp. 273-302
Author(s):  
Wil M.P. van der Aalst
Keyword(s):  
Petri Net ◽  
Free Choice ◽  
Process Models ◽  
Model Systems ◽  
Analysis Techniques ◽  
End Point ◽  
Challenging Question ◽  
Regeneration Point

A marked Petri net is lucent if there are no two different reachable markings enabling the same set of transitions, i.e., states are fully characterized by the transitions they enable. Characterizing the class of systems that are lucent is a foundational and also challenging question. However, little research has been done on the topic. In this paper, it is shown that all free-choice nets having a home cluster are lucent. These nets have a so-called home marking such that it is always possible to reach this marking again. Such a home marking can serve as a regeneration point or as an end-point. The result is highly relevant because in many applications, we want the system to be lucent and many “well-behaved” process models fall into the class identified in this paper. Unlike previous work, we do not require the marked Petri net to be live and stronglyconnected. Most of the analysis techniques for free-choice nets are tailored towards well-formed nets. The approach presented in this paper provides a novel perspective enabling new analysis techniques for free-choice nets that do not need to be well-formed. Therefore, we can also model systems and processes that are terminating and/or have an initialization phase.

An approach to repair Petri net-based process models with choice structures

2018 ◽  
Vol 12 (8-9) ◽  
pp. 1149-1179 ◽  
Author(s):  
HongDa Qi ◽  
YuYue Du ◽  
Liang Qi ◽  
Lu Wang
Keyword(s):  
Petri Net ◽  
Process Models

Computational modelling of selected E-waste recycling process

2020 ◽  
Vol 26 (1) ◽  
Author(s):  
K.C. Olufokunbi ◽  
O.D. Ninan ◽  
O.A. Odejobi
Keyword(s):  
Computational Model ◽  
Petri Net ◽  
Computational Modelling ◽  
Waste Recycling ◽  
Process Models ◽  
Recycling Process ◽  
Concurrent Process ◽  
Cpn Tools ◽  
Effective Generation ◽  
Coloured Petri Net

E-wastes generation and management is still a major challenge for most developing countries. This paper discusses the development of a computational model for effective generation, accumulation and disposal of e-waste. This is with a view to providing information for managing the pattern of the e-waste growth and the recycling processes. Coloured Petri net (CPN) was used to model three selected e-waste recycling process. These models were simulated and analysed using the CPN Tools. The results of the simulation of the selected ewaste process models showed that the e-waste dynamics is a forward sequential and concurrent process. The model never can reach a state, which it is impossible to terminate with the correct result.Keywords: E-waste, Computational model, Recycling process, Simulation, State spaceVol. 26 No 1, June 2019

scholarly journals Discovering Object-centric Petri Nets

2020 ◽  
Vol 175 (1-4) ◽  
pp. 1-40
Author(s):  
Wil M.P. van der Aalst ◽  
Alessandro Berti
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Single Case ◽  
Real Life ◽  
Process Models ◽  
Event Data ◽  
Multiple Products ◽  
Event Logs ◽  
Different Types ◽  
Complex Relationships

Techniques to discover Petri nets from event data assume precisely one case identifier per event. These case identifiers are used to correlate events, and the resulting discovered Petri net aims to describe the life-cycle of individual cases. In reality, there is not one possible case notion, but multiple intertwined case notions. For example, events may refer to mixtures of orders, items, packages, customers, and products. A package may refer to multiple items, multiple products, one order, and one customer. Therefore, we need to assume that each event refers to a collection of objects, each having a type (instead of a single case identifier). Such object-centric event logs are closer to data in real-life information systems. From an object-centric event log, we want to discover an object-centric Petri net with places that correspond to object types and transitions that may consume and produce collections of objects of different types. Object-centric Petri nets visualize the complex relationships among objects from different types. This paper discusses a novel process discovery approach implemented in PM4Py. As will be demonstrated, it is indeed feasible to discover holistic process models that can be used to drill-down into specific viewpoints if needed.

Sign in / Sign up

Export Citation Format

Share Document