Author of the publication

The signing of a contract - a tree-structured application.

, , , and . Applications and Theory in Petri Nets, volume 222 of Lecture Notes in Computer Science, page 1-18. Springer, (1985)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Minimal Framework for Specification Theory.. World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1861. Springer, (1999)Die OSI-Konformitätsmethodik., and . Prax. Inf.verarb. Kommun., 17 (1): 4-12 (1994)Petri-Netze - Grundlagen und Anwendungen.. BI-Wissenschaftsverlag, (1990)Petri-Netze - Grundlagen und Anwendungen (2. Aufl.).. Spektrum Akademischer Verlag, (1996)Qualitative Notions of Testability., and . IWTCS, volume 131 of IFIP Conference Proceedings, page 345-360. Kluwer, (1998)On Internal and External Characterizations of PT- net Building Block Behaviors.. European Workshop on Applications and Theory of Petri Nets, volume 340 of Lecture Notes in Computer Science, page 44-61. Springer, (1987)