Abstract
In this paper we summarize syntax and semantics of modules of elementary signal nets and explain how to synthesize the control for discrete event systems modelled by such modules.
Signal nets, introduced in [8,9,10,12], are based on Petri net modules which communicate via signals. Two kinds of signals are employed, namely active signals which force occurrence of (enabled) events, and passive signals which enable/prohibit occurring of events. Modelling with such modules appears to be very natural from an engineering perspective. It enables hierarchical structuring and supports the locality principle.
Given an uncontrolled system (a plant), modelled by a module of an elementary signal net, and a control specification, given as a regular language representing the desired signal output behavior of this system, we show step-by-step how to automatically synthesize the maximally permissive and nonblocking behavior of the plant respecting the control specification. Finally, we show how to synthesize the controller (as a module of an elementary signal net) forcing the plant to realize the controlled behavior.
This is a preview of subscription content, log in via an institution to check access.
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
Caillaud, B., Darondeau, P., Lavagno, L., Xie, 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. 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)
Desel, J., Milijic, V., Neumair, C.: Model Validation in Controller Design. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 467–495. Springer, Heidelberg (2004)
Dietrich, P., Malik, R., Wonham, W.M., Brandin, B.A.: Omlementation Consideration in Supervisory Control. In: [1]
Giua, A.: Petri Nets and Discrete Event Models for Supervisory Control. Ph.D. Thesis. Dept. of Computer and Systems Engineering, Rensselaer Polytechnic Institute. Troy, NY (1992)
Hanisch, H.-M., Lüder, A.: Modular Modeling of Closed-Loop Systems. In: Colloquium on Petri Net Technologies for Modeling 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, 292–303 (1997)
Hanisch, H.M., Rausch, M.: Netz-Condition/Event-Systeme, 4. Fachtagung Entwurf Komplexer Automatisierungssysteme, Braunschweig, Germany, Proceedings, pp. 55–71 (June 1995)
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.: Modeling with Petri Modules. In: [1]
Juhás, G., Lorenz, R., Neumair, C.: Synthesis of Controlled Behavior with Modules of Signal Nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 238–257. Springer, Heidelberg (2004)
Juhás, G., Lorenz, R., Neumair, C.: Modeling and Control with Modules of Signal Nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 585–625. Springer, Heidelberg (2004)
Pinzon, L.E., Hanisch, H.-M., Jafari, M.A.: Sequential Control Specifications with TL and NCES. Rutcor Research Report 4–98, RUTCOR, Rutgers University, Piscataway, NJ (1998)
Pinzon, L.E., Jafari, M.A., Hanisch, H.-M., Zhao, P.: Modeling admissible behavior using event signals. To be published in: IEEE Transactions on Sytems, Man and Cybernetics, Part B (2004)
Pinzon, L.E., Jafari, M.A., Hanisch, H.-M.: Controller Synthesis for Target Events. Submitted to Wodes (2004)
Ramadge, P.J., Wonham, W.M.: The Control of Discrete Event Systems. Proceedings of the IEEE 77(1), 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., Krogh, B.H.: 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, vol. 3, pp. 2899–2904 (1991)
Starke, P.H.: Das Komponieren von Signal-Netz Systemen. In: Proc 7th Workshop Algorithmen undWerkzeuge für Petrinetze AWPN 2000, Universität Koblenz - Landau, pp. 1–6 (2000)
Darondeau, P., Kumagai, S. (eds.): Proceedings of theWorkshop on Discrete Event System Control. Satellite Workshop of ATPN (2003)
Zhou, M.C., DiCesare, F.: 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
Desel, J., Hanisch, HM., Juhás, G., Lorenz, R., Neumair, C. (2004). A Guide to Modelling and Control with Modules of Signal Nets. In: Ehrig, H., et al. Integration of Software Specification Techniques for Applications in Engineering. Lecture Notes in Computer Science, vol 3147. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27863-4_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-27863-4_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23135-6
Online ISBN: 978-3-540-27863-4
eBook Packages: Springer Book Archive