Synthesis of controlled behavior with modules of signal nets

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

Volumn 3099, Issue , 2004, Pages 238-257

  Juhás, Gabriel ^a   Lorenz, Robert ^a   Neumair, Christian ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

CONTROL SPECIFICATIONS; CONTROLLED BEHAVIOR; DESIRED SIGNAL; NET CONDITION/EVENT SYSTEMS; NON-BLOCKING; SIGNAL INPUT; SIGNAL SET; UNCONTROLLED SYSTEMS;

PETRI NETS;

EID: 35048826364     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27793-4_14     Document Type: Article

References (17)

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. J. Desel, G. Juhás and R. Lorenz. Input/Output Equivalence of Petri Modules. In Proc. of IDPT 2002, Pasadena, USA, 2002.
4. 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.
5. 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, S. 292-303.
6. 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.
7. 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.
8. J.E. Hopcroft, R. Motwani and J.D.Ullman. Introduction to Automata Theory, Languages, and Computation. Addison Wesley, 2001.
9. R. Janicki and M. Koutny. Semantics of Inhibitor Nets. Information and Computations, 123, pp. 1-16, 1995.
10. 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, pp. 408-415, 1999.
11. G. Juhás, R. Lorenz and C. Neumair. Modelling and Control with Modules of Signal Nets. To appear in Advanced in Petri Nets, LNCS, Springer 2004.
12. J. Desel, H. -M- Hanisch, G. Juhás, R. Lorenz and C. Neumair. A Guide to Modelling and Control with Modules of Signal Nets. To appear in LNCS, Springer 2004.
13. L.E. Pinzon, M.A. Jafari, H.-M. Hanisch and P. Zhao Modelling admissible behavior using event signals submitted
14. P.J. Ramadge, W.M. Wonham: The Control of Discrete Event Systems. Proceedings of the IEEE, 77 (1989) 1, S. 81-98.
15. 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, pp. 12-121, 1998.
16. P. Darondeau and S. Kumagai (Eds.). Proceedings of the Workshop on Discrete Event System Control. Satellite Workshop of ATPN 2003.
17. M.C. Zhou und F. DiCesare. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Adacemic Publishers, Boston, MA, 1993.