Author of the publication

Activity Mining for Discovering Software Process Models.

, , and . Software Engineering, volume 79 of LNI, page 175-180. GI, (2006)

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

Invariants, Composition, and Substitution.. Acta Informatica, 32 (4): 299-312 (1995)Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification., , and . PNSE @ Petri Nets, volume 1372 of CEUR Workshop Proceedings, page 79-98. CEUR-WS.org, (2015)Verification of Distributed Algorithms with Algebraic Petri Nets., and . Foundations of Computer Science: Potential - Theory - Cognition, volume 1337 of Lecture Notes in Computer Science, page 261-270. Springer, (1997)Szenarios: Lokale Kriterien für globale Korrektheit., and . FBT, page 113-122. Herbert Utz Verlag, (1999)On the semantics of EPCs: A framework for resolving the vicious circle.. EPK, page 7-18. GI-Arbeitskreis Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, (2003)The Interplay of Transaction Models and Memory Models.. IADT, page 39-46. Society for Design and Process Science, 1302 West 25th Street, Suite 300, Austin, TX 78705-4236, USA, (1998)Message passing mutex., and . STRICT, page 205-219. Springer, (1995)ePNK Applications and Annotations: A Simulator for YAWL Nets.. Petri Nets, volume 10877 of Lecture Notes in Computer Science, page 339-350. Springer, (2018)Serializability, Concurrency Control, and Replication Control.. FMLDO - Selected Papers, volume 1773 of Lecture Notes in Computer Science, page 26-44. Springer, (1999)Mutex Needs Fairness., and . Inf. Process. Lett., 62 (1): 31-39 (1997)