Petri Nets Identification Techniques for Automated Modelling of Discrete Event Processes

2018 ◽  
pp. 7488-7502
Author(s):  
Edelma Rodriguez-Perez ◽  
Ernesto Lopez-Mellado
Keyword(s):  
Reverse Engineering ◽  
Petri Nets ◽  
Petri Net ◽  
Discrete Event ◽  
Reactive System ◽  
Input Output ◽  
Observed Behaviour ◽  
Event Models ◽  
Identification Techniques ◽  
Current Behaviour

One of the ways to perform the reverse engineering of a reactive system is to analyse the model of such a system. However, this model could not exist or the documentation could not be updated; then a model that describes the current behaviour of the system has to be built. Automated modelling of reactive discrete event processes can be achieved through identification techniques, which yield suitable discrete event models from the observed behaviour in the form of input-output sequences. This chapter presents an overview of input-output identification techniques that build Petri net models.

Petri Nets Identification Techniques for Automated Modelling of Discrete Event Processes

2019 ◽  
pp. 1461-1478
Author(s):  
Edelma Rodriguez-Perez ◽  
Ernesto Lopez-Mellado
Keyword(s):  
Reverse Engineering ◽  
Petri Nets ◽  
Petri Net ◽  
Discrete Event ◽  
Reactive System ◽  
Input Output ◽  
Event Models ◽  
Identification Techniques ◽  
Current Behavior ◽  
Observed Behavior

One of the ways to perform the reverse engineering of a reactive system is to analyze the model of such a system. However, this model could not exist, or the documentation could not be updated; then a model that describes the current behavior of the system has to be built. Automated modelling of reactive discrete event processes can be achieved through identification techniques, which yield suitable discrete event models from the observed behavior in the form of input-output sequences. This chapter presents an overview of input-output identification techniques that build Petri net models.

Petri Net Model Based Design and Control of Robotic Manufacturing Cells

2012 ◽  
pp. 393-408
Author(s):  
Gen’ichi Yasuda
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Manufacturing Systems ◽  
Discrete Event ◽  
Manufacturing Cells ◽  
Modeling And Control ◽  
Complex Manufacturing Systems ◽  
Task Specification ◽  
And Control ◽  
The Coordinator

The methods of modeling and control of discrete event robotic manufacturing cells using Petri nets are considered, and a methodology of decomposition and coordination is presented for hierarchical and distributed control. Based on task specification, a conceptual Petri net model is transformed into the detailed Petri net model, and then decomposed into constituent local Petri net based controller tasks. The local controllers are coordinated by the coordinator through communication between the coordinator and the controllers. Simulation and implementation of the control system for a robotic workcell are described. By the proposed method, modeling, simulation, and control of large and complex manufacturing systems can be performed consistently using Petri nets.

Petri Net Model Based Design and Control of Robotic Manufacturing Cells

2013 ◽  
pp. 385-400 ◽  
Author(s):  
Gen’ichi Yasuda
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Manufacturing Systems ◽  
Discrete Event ◽  
Manufacturing Cells ◽  
Modeling And Control ◽  
Complex Manufacturing Systems ◽  
Task Specification ◽  
And Control ◽  
The Coordinator

The methods of modeling and control of discrete event robotic manufacturing cells using Petri nets are considered, and a methodology of decomposition and coordination is presented for hierarchical and distributed control. Based on task specification, a conceptual Petri net model is transformed into the detailed Petri net model, and then decomposed into constituent local Petri net based controller tasks. The local controllers are coordinated by the coordinator through communication between the coordinator and the controllers. Simulation and implementation of the control system for a robotic workcell are described. By the proposed method, modeling, simulation, and control of large and complex manufacturing systems can be performed consistently using Petri nets.

Fault Detection, Isolation and Characterisation for Discrete Event Systems Based on Petri Nets Models

2010 ◽  
pp. 387-416
Author(s):  
Dimitri Lefebvre ◽  
Edouard Leclercq ◽  
Souleiman Ould El Mehdi
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Practical Interest ◽  
Transportation Systems ◽  
Intermittent Faults ◽  
Event Systems ◽  
Stochastic Time

Petri net models are used to detect and isolate faults in case of discrete event systems as manufacturing, robotic, communication and transportation systems. This chapter addresses two problems. The first one is the structure designs and parameters identification of the Petri net models according to the observation and analysis of the sequences of events that are collected. Deterministic and stochastic time Petri nets are concerned. The proposed method is based on a statistical analysis of data and has a practical interest as long as sequences of events are already saved by supervision systems. The second problem concerns the use of the resulting Petri net models to detect, isolate and characterize faults in discrete event systems. This contribution includes the characterization of intermittent faults. This issue is important because faults are often progressive from intermittent to definitive and early faults detection and isolation improve productivity and save money and resources.

scholarly journals Equivalent and Efficient Optimization Models for an Industrial Discrete Event System with Alternative Structural Configurations

Complexity ◽  
2018 ◽  
Vol 2018 ◽  
pp. 1-14 ◽  
Author(s):  
Juan-Ignacio Latorre-Biel ◽  
Emilio Jiménez-Macías ◽  
Mercedes Pérez de la Parte
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Discrete Event System ◽  
Optimization Techniques ◽  
Event System ◽  
Event Systems ◽  
Structural Configurations ◽  
Computational Resources

Discrete event systems in applications, such as industry and supply chain, may show a very complex behavior. For this reason, their design and operation may be carried out by the application of optimization techniques for decision making in order to obtain their highest performance. In a general approach, it is possible to implement these optimization techniques by means of the simulation of a Petri net model, which may require an intensive use of computational resources. One key factor in the computational cost of simulation-based optimization is the size of the model of the system; hence, it may be useful to apply techniques to reduce it. This paper analyzes the relationship between two Petri net formalisms, currently used in the design of discrete event systems, where it is usual to count on a set of alternative structural configurations. These formalisms are a particular type of parametric Petri nets, called compound Petri nets, and a set of alternative Petri nets. The development of equivalent models under these formalisms and the formal proof of this equivalence are the main topics of the paper. The basis for this formal approach is the graph of reachable markings, a powerful tool able to represent the behavior of a discrete event system and, hence, to show the equivalence between two different Petri net models. One immediate application of this equivalence is the substitution of a large model of a system by a more compact one, whose simulation may be less demanding in the use of computational resources.

scholarly journals Specifications and Modeling

2021 ◽  
pp. 29-126
Author(s):  
Peter Marwedel
Keyword(s):  
Petri Nets ◽  
Discrete Event ◽  
Models Of Computation ◽  
Von Neumann ◽  
Early Design ◽  
Design Information ◽  
Information Models ◽  
Event Models ◽  
Abstraction Levels ◽  
Models Of Computations

AbstractHow can we describe the system which we would like to design, and how can we represent intermediate design information? Models and description techniques for initial specifications as well as for intermediate design information will be shown in this chapter. First of all, we will capture requirements for modeling techniques. Next, we will provide an overview of models of computation. This will be followed by a presentation of popular models of computations, in combination with examples of the corresponding languages. The presentation includes models for early design phases, automata-based models, data flow, Petri nets, discrete event models, von Neumann languages, and abstraction levels for hardware modeling. Finally, we will compare different models of computation and present exercises.

MODELING AND SIMULATION OF MOLECULAR BIOLOGY SYSTEMS USING PETRI NETS: MODELING GOALS OF VARIOUS APPROACHES

2004 ◽  
Vol 02 (04) ◽  
pp. 619-637 ◽  
Author(s):  
SIMON HARDY ◽  
PIERRE N. ROBILLARD
Keyword(s):  
Molecular Biology ◽  
Qualitative Analysis ◽  
Petri Nets ◽  
Discrete Event Simulation ◽  
Petri Net ◽  
Metabolic Networks ◽  
System Simulation ◽  
Discrete Event ◽  
Simulation Approach ◽  
Event Simulation

Petri nets are a discrete event simulation approach developed for system representation, in particular for their concurrency and synchronization properties. Various extensions to the original theory of Petri nets have been used for modeling molecular biology systems and metabolic networks. These extensions are stochastic, colored, hybrid and functional. This paper carries out an initial review of the various modeling approaches based on Petri net found in the literature, and of the biological systems that have been successfully modeled with these approaches. Moreover, the modeling goals and possibilities of qualitative analysis and system simulation of each approach are discussed.

scholarly journals A New Modular Petri Net for Modeling Large Discrete-Event Systems: A Proposal Based on the Literature Study

Computers ◽  
2019 ◽  
Vol 8 (4) ◽  
pp. 83 ◽  
Author(s):  
Reggie Davidrajuh
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Real Life ◽  
World Systems ◽  
Literature Study ◽  
State Spaces ◽  
Event Systems ◽  
And Performance

Petri net is a highly useful tool for modeling of discrete-event systems. However, Petri net models of real-life systems are enormous, and their state-spaces are usually of infinite size. Thus, performing analysis on the model becomes difficult. Hence, slicing of Petri Net is suggested to reduce the size of the Petri nets. However, the existing slicing algorithms are ineffective for real-world systems. Therefore, there is a need for alternative methodologies for slicing that are effective for Petri net models of large real-life systems. This paper proposes a new Modular Petri Net as a solution. In modular Petri net, large Petri net models are decomposed into modules. These modules are compact, and the state spaces of these modules are also compact enough to be exhaustively analyzed. The research contributions of this paper are the following: Firstly, an exhaustive literature study is done on Modular Petri Nets. Secondly, from the conclusions drawn from the literature study, a new Petri net is proposed that supports module composition with clearly defined syntax. Thirdly, the new Petri net is implemented in the software GPenSIM, which is crucial so that real-life discrete-event systems could be modeled, analyzed, and performance-optimized with GPenSIM.

scholarly journals Design and Development of Fault Detection System in Production Line Monitoring at UJAS Electrical Private Limited

2021 ◽  
Vol 9 (VI) ◽  
pp. 5496-5500
Author(s):  
Sagar Y. Patil
Keyword(s):  
Fault Detection ◽  
Petri Nets ◽  
Petri Net ◽  
Production System ◽  
Production Line ◽  
Detection System ◽  
Discrete Event ◽  
Process Efficiency ◽  
Potential System ◽  
Simulation Results

The goal of this research is to provide a method for analyzing process efficiency that uses a combination of Petri nets and Flexsim software to resolve a typical discrete event in a workshop production system. This study, in particular, use Petri net theory to represent the event, followed by the usage of Flexsim software to interactively simulate the Petri-net based model, providing the system bottleneck intuitive and visible. Furthermore, it achieves the goal of increasing the efficiency of the system process by upgrading the system objects. In comparison to the previous way, the simulation results suggest that new method can immediately identify potential system faults. The efficiency is considerably increased as a result of this strategy. This research improves the efficiency of production line by reduction in idle percentage and improvement in processing percentage.

Sign in / Sign up

Export Citation Format

Share Document