Advertisement

Modelling and Control with Modules of Signal Nets

  • Gabriel Juhás
  • Robert Lorenz
  • Christian Neumair
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3098)

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.

Keywords

Control Module Regular Expression Regular Language Supervisory Control Label Transition System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Caillaud, B., Darondeau, P., Lavagno, L., Xie, X. (eds.): Synthesis and Control of Discrete Event Systems. Kluwer Academic Press, Dordrecht (2002)zbMATHGoogle Scholar
  2. 2.
    Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer, Dordrecht (1999)zbMATHGoogle Scholar
  3. 3.
    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)zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Desel, J., Juhás, G., Lorenz, R.: Input/Output Equivalence of Petri Modules. In: Proc. of IDPT 2002, Pasadena, USA (2002)Google Scholar
  5. 5.
    Dietrich, P., Malik, R., Wonham, W.M., Brandin, B.A.: Omlementation Consideration in Supervisory Control. In: [1]Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)zbMATHGoogle Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    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)zbMATHCrossRefGoogle Scholar
  11. 11.
    Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison Wesley, Reading (2001)zbMATHGoogle Scholar
  12. 12.
    Janicki, R., Koutny, M.: Semantics of Inhibitor Nets. Information and Computations 123, 1–16 (1995)zbMATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    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)CrossRefGoogle Scholar
  14. 14.
    Juhás, G., Lorenz, R.: Modelling with Petri Modules. In: [1]Google Scholar
  15. 15.
    Pinzon, L.E., Jafari, M.A., Hanisch, H.-M., Zhao, P: Modelling admissible behavior using event signals (submitted)Google Scholar
  16. 16.
    Ramadge, P.J., Wonham, W.M.: The Control of Discrete Event Systems. Proceedings of the IEEE 77(1), S. 81–98 (1989)CrossRefGoogle Scholar
  17. 17.
    Rozenberg, G., Engelfriet, J.: Elementary Net Systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 12–121. Springer, Heidelberg (1998)Google Scholar
  18. 18.
    Sreenivas, R.S.: On Condition/Event Systems with Discrete State Realizations. Discrete Event Dynamic Systems: Theory and Applications 2(1), 209–236 (1991)Google Scholar
  19. 19.
    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)Google Scholar
  20. 20.
    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)Google Scholar
  21. 21.
    Darondeau, P., Kumagai, S. (eds.): Proceedings of the Workshop on Discrete Event System Control, Satellite Workshop of ATPN (2003)Google Scholar
  22. 22.
    Zhou, M.C.: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Adacemic Publishers, Boston (1993)zbMATHGoogle Scholar
  23. 23.
    Zhang, Z., Wonham, W.M.: STCT: An Efficient Algorithm for Supervisory Control Design. In: [1]Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Gabriel Juhás
    • 1
  • Robert Lorenz
    • 1
  • Christian Neumair
    • 1
  1. 1.Lehrstuhl für Angewandte InformatikKatholische Universität EichstättEichstättGermany

Personalised recommendations