Author of the publication

Liveness in Bounded Petri Nets Which Are Covered by T-Invariants.

, and . Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, page 358-375. Springer, (1994)

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

Kombinatorische Beschreibung und Lösung von Organisationsproblemen., and . ARCS, volume 27 of Informatik-Fachberichte, page 178-193. Springer, (1980)S-Invariance in Predicate/Transition Nets., and . European Workshop on Applications and Theory of Petri Nets, volume 66 of Informatik-Fachberichte, page 98-111. Springer, (1982)Linear Algebraic Techniques for Place/Transition Nets.. Advances in Petri Nets, volume 254 of Lecture Notes in Computer Science, page 142-167. Springer, (1986)Petri-Netz-Darstellung von Deduktiven Datenbanken., and . Grundlagen von Datenbanken, page 16-22. ETH Zürich, (1991)Guidelines on using net analysis techniques with large specifications., , , , , and . Applications and Theory in Petri Nets, volume 222 of Lecture Notes in Computer Science, page 142-161. Springer, (1985)Logical Reasoning and Petri Nets.. ICATPN, volume 2679 of Lecture Notes in Computer Science, page 276-295. Springer, (2003)The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes., and . IEEE Trans. Computers, 31 (3): 194-207 (1982)Reproducibility of the Empty Marking.. ICATPN, volume 2360 of Lecture Notes in Computer Science, page 237-253. Springer, (2002)Use of Petri Nets for Proving Correctness of Concurrent Process Systems., and . IFIP Congress, page 187-191. (1974)Synchronisationsgraphen, and . Acta Inf., (1973)