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 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bulach, S., Baur, H., Pfleiderer, H.-J., Kucerovsky, Z.: ALPiNe: A Hardware Computing Platform for High-Level Petri Nets. In: Jensen, K. (ed.): Proceedings of the Workshop on Practical Use of Coloured Petri Nets and Design/CPN, Computer Science Department, Aarhus University, Denmark (1998) 31–45
Bulach, S., Baur, H., Pfleiderer, H.-J., Kucerovsky, Z.: Design of Discrete Event Systems Using Petri Nets and a Dedicated Controller. Proceedings of the IFAC Conference on Control System Design. Elsevier Science Ltd. (2000) 317–322
Bulach, S., Brauchle, A., Pfleiderer, H.-J., Kucerovsky, Z.: An Architecture of a Petri Net Based Event-Driven Controller. In: Boel, R., Stremersch, G. (eds.): Discrete Event Systems: Analysis and Control. Kluwer Academic Publishers. (2000) 383–390
Cassandras, C.G.: Discrete Event Systems: Modeling and Performance Analysis. Richard D. Irwin, Inc., and Aksen Associates, Inc. (1993)
Crockett, D., Desrochers, A., DiCesare, F., Ward, T.: Implementation of a Petri Net Controller for a MachiningWorkstation. Proceedings of the IEEE International Conference on Robotics and Automation. (1987) 1861–1867
Harel, D., Pnueli, A.: On the Development of Reactive Systems. In: Apt, K.R. (ed.): NATO ASI Series: Logics and Models of Concurrent Systems. Springer-Verlag 13(1985) 447–498
Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer-Verlag 1 (1997)
Murakoshi, H., Dohi, J.: Petri Net Based High Speed Programmable Controller by ASIC Memory. Proceeding of 29th Annual SICE Conference II (1990) 697–700
Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4) (1989) 541–580
Nketsa, A., Courviosier, M.: A Petri Net Based Single Chip Programmable Controller for Distributed Local Controls. Proceedings of Signal Processing and System Control Factory Automation IECON 1 (1990) 542–547
Patil, S.S.: Circuit Implementation of Petri Nets. Computation Structures Group Memo 73, MIT Project MAC, Cambridge, Massachusetts (1972)
Patil, S.S.: An Asynchronous Logic Array. Computation Structures Group Memo 111, MIT Project MAC, Cambridge, Massachusetts (1975)
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, N.J. (1981)
Petri, C.A.: Kommunikation mit Automaten. Ph.D. Dissertation, University of Bonn, Schrift Nr.2. (1962)
Silva, M., Teruel, E., Valette, R., Pingaud, H.: Petri Nets and Production Systems In: Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets II: Applications. Lecture Notes in Computer Science, Vol. 1492. Springer-Verlag (1998) 85–124
Valette, R., Courviosier, M., Bigou, JM., Albukerque, J.: A Petri Net Based Programmable Logic Controller. In: Warman, E.A., (ed.): Proceedings of the 1st International IFIP Conference on Computer Applications in Production and Engineering, North-Holland. (1983) 103–116
Yakovlev, A., Koelmans, A.: Petri Nets and Digital Hardware Design. In: Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets II: Applications. Lecture Notes in Computer Science, Vol. 1492. Springer-Verlag (1998) 154–236
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bulach, S., Brauchle, A., Pfleiderer, HJ., Kucerovsky, Z. (2001). Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems. In: Colom, JM., Koutny, M. (eds) Applications and Theory of Petri Nets 2001. ICATPN 2001. Lecture Notes in Computer Science, vol 2075. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45740-2_7
Download citation
DOI: https://doi.org/10.1007/3-540-45740-2_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42252-5
Online ISBN: 978-3-540-45740-4
eBook Packages: Springer Book Archive