In: J.-M. Colom, M. Koutny (Eds.), Newcastle upon Tyne, UK: Proc. of 22nd International Conf. on Applications and Theory of Petri Nets 2001 (ICATPN 2001), pages 81-100. Lecture Notes in Computer Science 2075, edited by G. Goos, J. Hartmanis and J. van Leuwen, Springer, June 2001.
Abstract: 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 DES is 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 CMOS technology. Operating at 80 MHz it delivers fast response times, power efficiency and transition firing rates of up to 4 million transitions per second.
Back to the Petri Nets Bibliography