Structural analysis of Signal-Event systems

Fundamenta Informaticae

Volumn 43, Issue 1-4, 2000, Pages 81-104

  Foremniak, Adrianna ^a   Starke, Peter H ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

(Place )liveness of a net; Deadlock trap property; Extended free choice nets; Extended simple nets; Homogeneous nets; Structural deadlock; Structural trap

Indexed keywords

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

References (7)

1. Desel, J. and Esparza, J.: Free Choice Petri Nets, Cambridge Tracts in Theoretical Computer Science 40, Cambridge University Press, 1995.
2. Foremniak, A.: Struktureigenschaften von Signal-Ereignis-Netzen, Master Thesis, Humboldt-Universität zu Berlin, 1999.
3. Lüder, A. and Hanisch, H.-M.: A Signal Extension for Petri nets and its Use in Controller Design. Burkhard, H.-D., Czaja, L., Starke, P.(ed.), Proceedings of the CS&P 97 Worshop,Informatik Berichte 110, Humboldt-Universität zu Berlin, Berlin, 1998, 98-105.
4. Rausch, M. and Hanisch, H.-M.: Net Condition/Event Systems with Multiple Condition Outputs. Proceedings of the EFTA-97, 1, Paris, 1995, 592-600.
5. Schwanke, D., Lüder, A. and Hanisch, H.-M.: Dynamic Behavior and the Deadlock-Trap Property of Signal/Event Nets. Burkhard, H.-D., Czaja, L., Starke, P.(ed.), Proceedings of the CS&P'97 Worshop, Informatik Berichte, 110, Humboldt-Universität zu Berlin, Berlin, 1998, 215-220.
6. Starke, P.: Signal/Event-Nets. Burkhard, H.-D., Czaja, L., Starke, P.(ed.), Proceedings of the CS&P'97 Workshop, Warsaw, 1997, 124-130.
7. Starke, P., Roch, S., Schmidt, K.; Hanisch, H.-M., Lüder, A.: Analysing Signal-Event Systems, Berlin: Humboldt-Universität zu Berlin, Institut für Informatik; Magdeburg: Ottovon-Guericke-Universität Magdeburg, Institut für Automatisierungstechnik, 1999.