A guide to modelling and control with modules of signal nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3147, Issue , 2004, Pages 270-300

  Desel, Jörg ^a   Hanisch, Hans Michael ^a,b   Juhás, Gabriel ^a,b   Lorenz, Robert ^a,b   Neumair, Christian ^a,b  

^a CATHOLIC UNIVERSITY OF EICHSTÄTT INGOLSTADT   (Germany)

^b MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; SEMANTICS; SPECIFICATIONS;

CONTROL SPECIFICATIONS; CONTROLLED BEHAVIOR; ELEMENTARY SIGNALS; ENGINEERING PERSPECTIVE; HIERARCHICAL STRUCTURING; LOCALITY PRINCIPLE; MODELLING AND CONTROLS; UNCONTROLLED SYSTEMS;

DISCRETE EVENT SIMULATION;

EID: 35048846721     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27863-4_16     Document Type: Article

References (30)

1. B. Caillaud, P. Darondeau, L. Lavagno and X. Xie (Eds.). Synthesis and Control of Discrete Event Systems. Kluwer Academic Press, 2002.
2. C. G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. Kluwer, 1999.
3. H. Cho and S.I. Marcus. On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation. em Mathematics of Control, Signals, and Systems, Vol. 2, No. 2, pp. 47-69, 1989.
4. J. Desel, G. Juhás and R. Lorenz. Input/Output Equivalence of Petri Modules. In Proc. of IDPT 2002, Pasadena, USA, 2002.
5. J. Desel, V. Milijic and C. Neumair. Model Validation in Controller Design. In J. Desel, W. Reisig and G. Rozenberg (Eds.) Lectures on Concurrency and Petri Nets. Springer, LNCS 3098, 467-495, 2004.
6. P. Dietrich, R. Malik, W.M. Wonham and B.A. Brandin. Omlementation Consideration in Supervisory Control. In [1].
7. A. Giua. Petri Nets and Discrete Event Models for Supervisory Control. Ph.D. Thesis. Dept. of Computer and Systems Engineering, Rensselaer Polytechnic Institute. Troy, NY, 1992.
8. H.-M. Hanisch, A. Lüder. Modular Modeling of Closed-Loop Systems. Colloquium on Petri Net Technologies for Modeling Communication Based Systems, Berlin 1999, pp. 103-126.
9. H-M. Hanisch and A. Lüder. A Signal Extension for Petri nets and its Use in Controller Design. Fundamenta Informaticae, 41(4) 2000, 415-431.
10. H.-M. Hanisch, A. Lüder, M. Rausch. Controller Synthesis for Net Condition/Event Systems with Incomplete State Observation. European Journal of Control, Nr. 3, 1997, 292-303.
11. H.M. Hanisch, M. Rausch: Netz-Condition/Event-Systeme, 4. Fachtagung Entwurf Komplexer Automatisierungssysteme, Braunschweig, Germany, June 1995, Proceedings, pp. 55-71 (in German).
12. H.-M. Hanisch, J. Thieme and A. Lüder. Towards a Synthesis Method for Distributed Safety controllers Based on Net Condition/Event Systems. Journal of Intelligent Manufacturing, 5, 1997, 8, 357-368.
13. L.E. Holloway, B.H. Krogh and A. Giua. A Survey of Petri Net Methods for Controlled Discrete Event Systems. Discrete Event Dynamic Systems: Theory and Applications, 7, 1997, 151-190.
14. J.E. Hopcroft, R. Motwani and J.D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison Wesley, 2001.
15. R. Janicki and M. Koutny. Semantics of Inhibitor Nets. Information and Computations, 123, 1-16, 1995.
16. G. Juhás. On semantics of Petri nets over partial algebra. In J. Pavelka, G. Tel and M. Bartosek (Eds.) Proc. of 26th Seminar on Current Trends in Theory and Practice of Informatics SOFSEM'99, Springer, LNCS 1725, 408-415, 1999.
17. G. Juhás and R. Lorenz. Modeling with Petri Modules. In [1].
18. G. Juhás, R. Lorenz and C. Neumair. Synthesis of Controlled Behavior with Modules of Signal Nets. In J. Cortadella and W. Reisig (Eds.) Proc. of 25th International Conference on Application and Theory of Petri Nets, Springer, LNCS 3099, 238-257, 2004.
19. G. Juhás, R. Lorenz and C. Neumair. Modeling and Control with Modules of Signal Nets. In J. Desel, W. Reisig and G. Rozenberg (Eds.) Lectures on Concurrency and Petri Nets. Springer, LNCS 3098, 585-625, 2004.
20. L.E. Pinzon, H.-M. Hanisch and M.A. Jafari. Sequential Control Specifications with TL and NCES. Rutcor Research Report 4-98, RUTCOR, Rutgers University, Piscataway, NJ, 1998.
21. L.E. Pinzon, M.A. Jafari, H.-M. Hanisch and P. Zhao. Modeling admissible behavior using event signals. To be published in: IEEE Transactions on Sytems, Man and Cybernetics, Part B, 2004.
22. L.E. Pinzon, M.A. Jafari and H.-M. Hanisch. Controller Synthesis for Target Events. Submitted to Wodes 2004.
23. P.J. Ramadge, W.M. Wonham. The Control of Discrete Event Systems. Proceedings of the IEEE, 77 (1989) 1, 81-98.
24. G. Rozenberg, and J. Engelfriet. Elementary Net Systems. In W. Reisig and G. Rozenberg (Eds.) Lectures on Petri Nets I: Basic Models, Springer, LNCS 1491, 12-121, 1998.
25. R.S. Sreenivas und B.H. Krogh. On Condition/Event Systems with Discrete State Realizations. Discrete Event Dynamic Systems: Theory and Applications, 2, 1991, 1, 209-236.
26. R. S. Sreenivas and B. H. Krogh. Petri Net Based Models for Condition/Event Systems. In Proceedings of 1991 American Control Conference, vol. 3, 2899-2904, Boston, MA, 1991.
27. P. H. Starke. Das Komponieren von Signal-Netz Systemen. In Proc 7. Workshop Algorithmen und Werkzeuge für Petrinetze AWPN 2000, Universität Koblenz - Landau, 1-6, 2000.
28. P. Darondeau and S. Kumagai (Eds.). Proceedings of the Workshop on Discrete Event System Control. Satellite Workshop of ATPN 2003.
29. M.C. Zhou und F. DiCesare. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Adacemic Publishers, Boston, MA, 1993.
30. Zhonghua Zhang and W.M. Wonham. STCT: An Efficient Algorithm for Supervisory Control Design. In [1].