On the implementation of Petri nets
Advances in Petri Nets 1988
Coloured Petri Nets: a high level language for system design and analysis
APN 90 Proceedings on Advances in Petri nets 1990
Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems
Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems
Design and Implementation of Discrete Event Control Systems: A Petri Net Based Hardware Approach
Discrete Event Dynamic Systems
The Real-Time Specification for Java
Computer
Software Implementation of Petri nets and compilation of rule-based systems
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
Implementation of Weighted Place/Transition Nets Based on Linear Enabling Functions
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Implementation of time petri nets in real-time Java
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
PLC programming with signal interpreted Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Hi-index | 0.00 |
The reaction time of a controller is a fundamental matter in discrete event control systems. Petri nets are extensively used in this field. The controller reads the inputs, executes the control Petri net and writes the output in a cyclic manner. The reaction time of this controller depends on the Petri net structure, on the events sequence and on the algorithm that executes the net. In this paper we present a performance evaluation of interpreted and centralized implementation techniques for ordinary Petri nets. Four techniques have been analyzed: brute force, enabled transitions, static representing places and dynamic representing places. The analysis has been carried out over a Petri net library composed of well know models which can be scaled using a parameter. The analysis of the results shows that the performance of the algorithms depends on the Petri net behavior (concurrency vs. effective conflicts).With the objective of minimizing the reaction time, we decided to design a Supervisor controller, which we have called execution time controller (ETC). The aim of the ETC is to determine in real time which algorithm executes the Petri net fastest and to change the execution algorithm when necessary. One possible application of the technique is the minimization of execution time of the programmable logic controllers programs developed in sequential function chart (SFC).