On fluidization of discrete event models: observation and control of continuous Petri nets

2011 ◽  
Vol 21 (4) ◽  
pp. 427-497 ◽  
Author(s):  
Manuel Silva ◽  
Jorge Júlvez ◽  
Cristian Mahulea ◽  
C. Renato Vázquez
Keyword(s):  
Petri Nets ◽  
Discrete Event ◽  
Event Models ◽  
Continuous Petri Nets ◽  
And Control

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.

scholarly journals New Software Tool for Modeling and Control of Discrete-Event and Hybrid Systems Using Timed Interpreted Petri Nets

2020 ◽  
Vol 10 (15) ◽  
pp. 5027 ◽  
Author(s):  
Erik Kučera ◽  
Oto Haffner ◽  
Peter Drahoš ◽  
Ján Cigánek ◽  
Roman Leskovský  ◽  
...  
Keyword(s):  
Petri Nets ◽  
Hybrid Systems ◽  
Industry 4.0 ◽  
Discrete Event Systems ◽  
Production Systems ◽  
Discrete Event ◽  
Software Tool ◽  
Modeling And Control ◽  
Event Systems ◽  
And Control

For the development of modern complex production processes in Industry 4.0, it is appropriate to effectively use advanced mathematical models based on Petri nets. Due to their versatility in modeling discrete-event systems, Petri nets are an important support in creating new platforms for digitized production systems. The main aim of the proposed article is to design a new software tool for modeling and control of discrete-event and hybrid systems using Arduino and similar microcontrollers. To accomplish these tasks, a new tool called PN2ARDUINO based on Petri nets is proposed able to communicate with the microcontroller. Communication with the microcontroller is based on the modified Firmata protocol hence, the control algorithm can be implemented on all microcontrollers that support this type of protocol. The developed software tool was successfully verified in control of laboratory systems. In addition, it can be used for education and research purposes as it offers a graphical environment for designing control algorithms for hybrid and mainly discrete-event systems. The proposed software tool can improve education and practice in cyber-physical systems (Industry 4.0).

scholarly journals CONTINUOUS PETRI NETS: EXPRESSIVE POWER AND DECIDABILITY ISSUES

2010 ◽  
Vol 21 (02) ◽  
pp. 235-256 ◽  
Author(s):  
LAURA RECALDE ◽  
SERGE HADDAD ◽  
MANUEL SILVA
Keyword(s):  
Differential Equations ◽  
Petri Nets ◽  
Fundamental Problem ◽  
Discrete Event ◽  
Expressive Power ◽  
Timed Petri Nets ◽  
Analysis And Synthesis ◽  
Continuous Petri Nets ◽  
Linear Differential ◽  
The One

State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of the corresponding discrete model. The expected gains are twofold: improvements in complexity and in decidability. In the case of autonomous nets we prove that liveness or deadlock-freeness remain decidable and can be checked more efficiently than in Petri nets. Then we introduce time in the model which now behaves as a dynamical system driven by differential equations and we study it w.r.t. expressiveness and decidability issues. On the one hand, we prove that this model is equivalent to timed differential Petri nets which are a slight extension of systems driven by linear differential equations (LDE). On the other hand, (contrary to the systems driven by LDEs) we show that continuous timed Petri nets are able to simulate Turing machines and thus that basic properties become undecidable.

scholarly journals Sistema para detección y aislamiento de fallas utilizando Redes de Petri Interpretadas (RPI)

2019 ◽  
pp. 1-5
Author(s):  
Veronica Hernandez ◽  
Alejandro Arredondo ◽  
Elvia Ruiz
Keyword(s):  
Petri Nets ◽  
Discrete Event ◽  
Failure Detection ◽  
Area Of Influence ◽  
And Control ◽  
Failure Monitoring ◽  
The Given ◽  
Implementation In Matlab ◽  
Control Failures

Interpreted Petri Nets (IPN) allow the analysis of Discrete Event Systems (DES) to guarantee the detection of failures in a fast, efficient, and safe way. The objective of this research is the design of an Interpreted Petri Net for the detection of failures in a water supply system. The IPN allows us to identify two types of failures, permanent failures and control failures. The first are inherent to the system and are those that make impossible the functionality of the system. The second refers to those that are inherent to the user and are those failures that do not meet the given specifications. Detecting failures in a system allows the improvement of the operation in such a way that it is more efficient. In this manner, it is possible to design reliable systems which can work properly. In this research, an algorithm was designed for the sensors involved in the system using Interpreted Petri Nets. The detection of failures as main objective is achieved through the implementation of a previously designed IPN. By implementing a programming code in MATLAB®, it was possible to observe its simulated behavior in the system. The input parameters used assume a behavior. Objective: Analyze and implement a mathematical model to automatically detect failures in a system, based on a polynomial algorithm according to the methodology proposed in Matlab®. Methodology: Algorithms were used to characterize the area of influence of the failure in the IPN of the system, from which the implementation in Matlab® showed minimal T-semiflows that do not share any transition with the structure where the failure is located. Therefore, if the problem of linear programming has a solution then the system will be not diagnosable. In this case, if the system is modeled by parts, it is possible to find those parts that are diagnosable and therefore implement the methodology, in this way a module model will be obtained in which the failure detection can be performed. Contribution: Characterization of the diagnosticability property and use of algorithms in MATLAB® to analyze the property of systems designed by IPN. Identify failure occurrence modeled in a system using IPN in MATLAB® for failure monitoring.

scholarly journals PetriNet Editor + PetriNet Engine: New Software Tool For Modelling and Control of Discrete Event Systems Using Petri Nets and Code Generation

2020 ◽  
Vol 10 (21) ◽  
pp. 7662
Author(s):  
Erik Kučera ◽  
Oto Haffner ◽  
Peter Drahoš ◽  
Roman Leskovský ◽  
Ján Cigánek
Keyword(s):  
Petri Nets ◽  
Code Generation ◽  
Industry 4.0 ◽  
Discrete Event Systems ◽  
Production Systems ◽  
Discrete Event ◽  
Software Tool ◽  
System Control ◽  
Event Systems ◽  
And Control

Petri nets are an important tool for creation of new platforms for digitised production systems due to their versatility in modelling discrete event systems. For the development of modern complex production processes for Industry 4.0, using advanced mathematical models based on Petri nets is an appropriate and effective option. The main aim of the proposed article is to design a new software tool for modelling and control of discrete event systems using Arduino-type microcontrollers and code generation techniques. To accomplish this task, a new tool called “PetriNet editor + PetriNet engine” based on Petri nets is proposed able to generate the code for the microcontroller according to the modelled Petri net. The developed software tool was successfully verified in control of a laboratory plant. Offering a graphical environment for the design of discrete event system control algorithms, it can be used for education, research and practice in cyber-physical systems (Industry 4.0).

Sign in / Sign up

Export Citation Format

Share Document