Abstract
In this paper we present a methodology for synthesis of controlled behavior for systems modelled by modules of signal sets. Modules of signal nets are modules, which are based on Petri nets enriched by two kinds of signals and an signal input/output structure. They are also known as net condition/event systems (or modules) [x]. 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 nonblocking behavior of the plant respecting the control specification. Such a behavior serves as an input for an algorithm (presented in [x]), which computes a controller realized as a module of a signal net which in combination with the plant module ensures this behavior.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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 Academic Publishers, Dordrecht (1999)
Desel, J., Juhás, G., Lorenz, R.: Input/Output Equivalence of Petri Modules. In: Proc. of IDPT 2002, Pasadena, USA (2002)
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., Neumair, C.: Modelling and Control with Modules of Signal Nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 238–257. Springer, Heidelberg (2004)
Desel, J., Hanisch, H.-M., Juhás, G., Lorenz, R., Neumair, C.: A Guide to Modelling and Control with Modules of Signal Nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 157–176. Springer, Heidelberg (2004)
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)
Darondeau, P., Kumagai, S. (eds.): Proceedings of the Workshop on Discrete Event System Control. In: Satellite Workshop of ATPN 2003 (2003)
Zhou, M.C., DiCesare, F.: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Adacemic Publishers, Boston (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Juhás, G., Lorenz, R., Neumair, C. (2004). Synthesis of Controlled Behavior with Modules of Signal Nets. In: Cortadella, J., Reisig, W. (eds) Applications and Theory of Petri Nets 2004. ICATPN 2004. Lecture Notes in Computer Science, vol 3099. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27793-4_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-27793-4_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22236-1
Online ISBN: 978-3-540-27793-4
eBook Packages: Springer Book Archive