Abstract
We present a modular formalism and methodology for modelling and control of discrete event systems, such as flexible manufacturing systems. The formalism is based on Petri net modules which communicate via signals. Two kinds of signals are employed, namely active signals, which force occurrence of (enabled) events (typically switches), and passive signals which enable/prohibit occurring of events (typically sensors). Modelling with such modules appears to be very natural from engineering perspective, enables hierarchical structuring, and support locality principle.
Further, we discuss the role of both kinds of signals in control tasks and we focus on the control aspects in general. We present a methodology for synthesis of controlled behavior for systems modelled by modules of signal sets. Given an uncontrolled system (a plant) modelled by a module of a signal net, and a control specification given as a regular language representing the desired signal output behavior of this system, we show how to synthesize the maximal permissive and non-blocking behavior of the plant respecting the control specification. Finally, we show how to synthesize the controller (as a module of a signal net) forcing the plant to realize the controlled behavior.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Caillaud, B., Darondeau, P., Lavagno, L., **e, X. (eds.): Synthesis and Control of Discrete Event Systems. Kluwer Academic Press, Dordrecht (2002)
Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer, Dordrecht (1999)
Cho, H., Marcus, S.I.: On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation. em Mathematics of Control, Signals, and Systems 2(2), 47–69 (1989)
Desel, J., Juhás, G., Lorenz, R.: Input/Output Equivalence of Petri Modules. In: Proc. of IDPT 2002, Pasadena, USA (2002)
Dietrich, P., Malik, R., Wonham, W.M., Brandin, B.A.: Omlementation Consideration in Supervisory Control. In: [1]
Hanisch, H.-M., Lüder, A.: Modular Modeling of Closed-Loop Systems. In: Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin, pp. 103–126 (1999)
Hanisch, H.-M., Lüder, A.: A Signal Extension for Petri nets and its Use in Controller Design. Fundamenta Informaticae 41(4), 415–431 (2000)
Hanisch, H.-M., Lüder, A., Rausch, M.: Controller Synthesis for Net Condition/Event Systems with Incomplete State Observation. European Journal of Control 3, S. 292–303 (1997)
Hanisch, H.-M., Thieme, J., Lüder, A.: Towards a Synthesis Method for Distributed Safety controllers Based on Net Condition/Event Systems. Journal of Intelligent Manufacturing 5(8), 357–368 (1997)
Holloway, L.E., Krogh, B.H., Giua, A.: A Survey of Petri Net Methods for Controlled Discrete Event Systems. Discrete Event Dynamic Systems: Theory and Applications 7, 151–190 (1997)
Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison Wesley, Reading (2001)
Janicki, R., Koutny, M.: Semantics of Inhibitor Nets. Information and Computations 123, 1–16 (1995)
Juhás, G.: On semantics of Petri nets over partial algebra. In: Bartosek, M., Tel, G., Pavelka, J. (eds.) SOFSEM 1999. LNCS, vol. 1725, pp. 408–415. Springer, Heidelberg (1999)
Juhás, G., Lorenz, R.: Modelling with Petri Modules. In: [1]
Pinzon, L.E., Jafari, M.A., Hanisch, H.-M., Zhao, P: Modelling admissible behavior using event signals (submitted)
Ramadge, P.J., Wonham, W.M.: The Control of Discrete Event Systems. Proceedings of the IEEE 77(1), S. 81–98 (1989)
Rozenberg, G., Engelfriet, J.: Elementary Net Systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 12–121. Springer, Heidelberg (1998)
Sreenivas, R.S.: On Condition/Event Systems with Discrete State Realizations. Discrete Event Dynamic Systems: Theory and Applications 2(1), 209–236 (1991)
Sreenivas, R.S., Krogh, B.H.: Petri Net Based Models for Condition/Event Systems. In: Proceedings of 1991 American Control Conference, Boston, MA, vol. 3, pp. 2899–2904 (1991)
Starke, P.H.: Das Komponieren von Signal-Netz Systemen. In: Proc 7. Workshop Algorithmen und Werkzeuge für Petrinetze AWPN 2000, Universität Koblenz - Landau, pp. 1–6 (2000)
Darondeau, P., Kumagai, S. (eds.): Proceedings of the Workshop on Discrete Event System Control, Satellite Workshop of ATPN (2003)
Zhou, M.C.: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Adacemic Publishers, Boston (1993)
Zhang, Z., Wonham, W.M.: STCT: An Efficient Algorithm for Supervisory Control Design. In: [1]
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Juhás, G., Lorenz, R., Neumair, C. (2004). Modelling and Control with Modules of Signal Nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds) Lectures on Concurrency and Petri Nets. ACPN 2003. Lecture Notes in Computer Science, vol 3098. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27755-2_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-27755-2_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22261-3
Online ISBN: 978-3-540-27755-2
eBook Packages: Springer Book Archive