Author of the publication

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

M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages., , , , and . Acta Inf., 35 (10): 813-857 (1998)Concurrent Bisimulations in Petri Nets., , , and . Acta Inf., 28 (3): 231-264 (1991)Synthesis and reengineering of persistent systems., and . Acta Inf., 52 (1): 35-60 (2015)The Box Algebra = Petri Nets + Process Expressions., , and . Inf. Comput., 178 (1): 44-100 (2002)Overview.. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, volume 52 of Informatik-Fachberichte, page 72-73. Springer, (1981)Making Petri Nets Safe and Free of Internal Transitions., , and . Fundam. Inform., 80 (1-3): 75-90 (2007)A theorem on the characteristics of nonsequential processes.. Fundam. Inform., 3 (1): 77-94 (1980)Petri Net Semantics of Priority Systems., and . Theor. Comput. Sci., 96 (1): 175-174 (1992)Formale Methoden zur Erstellung robuster Software.. Software-Fehlertoleranz und -Zuverlässigkeit, volume 83 of Informatik-Fachberichte, page 1-9. Springer, (1984)Sufficient conditions for the marked graph realisability of labelled transition systems., , and . Theor. Comput. Sci., (2018)