From the Petri net model to real time control: bases of a development package

Any discrete system with a behavior which lends itself to a graphical representation can be a candidate for a Petri net modelization. In this way the Petri net model can be adopted more and more in process control, especially within the framework of factory automation and flexible manufacturing systems, for low level control as well as for coordination and monitoring levels. Based on a high level description of such applications, and based on an extended timed Petri net formalization, this paper presents a generic token-player algorithm and the associated processor architecture. Then the functional specifications of a development package are described. This package can easily fit to IBM-PC and compatibles.<>