Author of the publication

Decomposition Theorems for Bounded Persistent Petri Nets.

, and . Petri Nets, volume 5062 of Lecture Notes in Computer Science, page 33-51. Springer, (2008)

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

Preface., , and . Fundam. Inform., 161 (4): i-ii (2018)A decomposition theorem for finite persistent transition systems., and . Acta Inf., 46 (3): 237-254 (2009)Recursion and Petri nets., , and . Acta Inf., 37 (11-12): 781-829 (2001)Petri net algebra., , and . Monographs in Theoretical Computer Science. An EATCS Series Springer, (2001)Solving Recursive Net Equations., and . ICALP, volume 944 of Lecture Notes in Computer Science, page 605-623. Springer, (1995)A Note on Persistent Petri Nets.. Concurrency, Graphs and Models, volume 5065 of Lecture Notes in Computer Science, page 427-438. Springer, (2008)Partial order verification with PEP.. Partial Order Methods in Verification, volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 305-328. DIMACS/AMS, (1996)Weak and Strong Composition of High-Level Petri-Nets., and . CONCUR, volume 1664 of Lecture Notes in Computer Science, page 194-209. Springer, (1999)B(PN)2 - a Basic Petri Net Programming Notation., and . PARLE, volume 694 of Lecture Notes in Computer Science, page 379-390. Springer, (1993)Model Checking of Persistent Petri Nets., and . CSL, volume 626 of Lecture Notes in Computer Science, page 35-52. Springer, (1991)