A Signal extension for Petri nets and its use in controller design

Fundamenta Informaticae

Volumn 41, Issue 4, 2000, Pages 415-431

  Hanisch, H M ^a   Luder A ^b  

^a MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

^b OTTO VON GUERICKE UNIVERSITY   (Germany)

Author keywords

Controller verification; Discrete event systems; Petri nets

Indexed keywords

EID: 0005818051     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-2000-41403     Document Type: Article

References (16)

1. U. Christmann, H.-M. Hanisch. BatchMon - Applying TNCES-Models to the Online Monitoring of Recipe Driven Batch Plants. IEEE Conference on Systems, Man, and Cybernetics, San Diego, CA, Oct. 1998, Proceedings 481-486.
2. R. David, H. Alla. Petri Nets and Graphcet. Prentice Hall, New York, 1992.
3. DIN 19227 Graphische Symbole und Kennbuchstaben für die Prozessleittechnik Deutsche Norm, 1993 (in German).
4. IEC-1131 - Programmable Controllers. Intern. Electotechnical Commission, Genf, 1992.
5. IEC-TC 65/WG6. Function Blocks for Industrial Process Measurement and Control. Committee Draft, June 1997.
6. H.-M. Hanisch, A. Lüder, M. Rausch. Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Observation. European Journal of Control 1997, 3:280-291.
7. H.-M. Hanisch, A. Lüder, J. Thieme, O. Wienhold. Modelling of PLC Behaviour by Means of Timed Net Condition/Events Systems. 6th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'97), Los Angeles, USA, September 1997, Proceedings, pp. 391-396.
8. H.-M. Hanisch, J. Thieme, A. Lüder. Steuerungssynthese auf der Basis von Netz-Condition/Event-Systemen. GMA-Kongress '98, Mess- und Automatisierungstechnik, Ludwigsburg, Deutschland, Juni 1998, Tagungsband, pp. 327-334 (in German).
9. H.-M. Hanisch. Petri-Netze im geschlossenen Kreis. Theorie für ereignisdiskrete Systeme: Tutorium des GMA-Fachausschusses 1.8 'Methoden der Steuerungstechnik', Edt. D. Abel and K. Lemmer, Oldenbourg Verlag, 1998 (in German).
10. H.-M. Hanisch, A. Lüder. On the Mutual Dependency of Safety Controllers and Procedural Controllers. IEEE International Symposium on Industrial Electronics (ISIE'98), Pretoria, South Africa, July 1998, Proceedings Volume 2, pp. 622-627.
11. H.-M. Hanisch, T. Pannier, D. Peter, S. Roch, P. Starke. Modeling and Verification of a Modular Level-Crossing Controller Design. at-Automatisierungstechnik, 47 (1999), 8, pp. 366-373.
12. R. König, L. Quäck. Petri Netze in der Steuerungstechnik. Verlag Technik Berlin, 1988 (in German).
13. R.S. Sreenivas and B.H. Krogh. On condition/event systems with discrete state realizations. Discrete Event Dynamic Systems: Theory and Applications, 2(1):209-236, 1991.
14. P.H. Starke, H.-M. Hanisch. Analysis of Signal/Event-Nets. 6th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'97), Los Angeles, USA, September 1997, Proceedings, pp. 253-257.
15. P.H. Starke. Signal/Event Net Analyzer, Version 0.6, Humboldt-University Berlin, 1998.
16. V. Vyatkin, H.-M. Hanisch. A Modeling Approach for Verification of IEC 1499 Function Blocks using Net Condition/Event Systems. 7th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA '99), Barcelona, Spain, October 1999, Proceedings, pp. 261-269.