On the development of reactive systems
Logics and models of concurrent systems
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Petri Nets and Production Systems
Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Hi-index | 0.00 |
This paper presents an embedded Discrete Event System (DES) design and realization methodology combining the advantages of system modeling based on the Petri Net (PN) formalism and implementational efficiency of a proposed dedicated programmable event-driven controller. A DESis initially modeled as communicating plant and controller nets which concisely capture concurrent behavior of the system and yield themselves to formal analysis techniques. The control specifications are subsequently compiled into the compact executable binary code according to the lean net encoding scheme and stored in a commercially available programmable parallel read only memory (PROM). The controller executes the PN control code in an event-driven manner responding to the external events and concurrently tracking multiple execution threads. The 8-bit prototype of the controller has been fabricated in 0.35 µm CMOStec hnology. Operating at 80 MHz it delivers fast response times, power efficiency and transition firing rates of up to 4 million transitions per second.