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

Refinement of Synchronizable Places with Multi-workflow Nets., , and . Fundam. Informaticae, 122 (1-2): 59-83 (2013)Conceptual model for online auditing., , , , and . Decis. Support Syst., 50 (3): 636-647 (2011)Correctness Notions for Petri Nets with Identifiers., , , and . CoRR, (2022)A genetic approach to architectural pattern discovery., and . ECSA Workshops, page 17. ACM, (2016)Designing Case Handling Systems., , , , and . Trans. Petri Nets Other Model. Concurr., (2008)Pair Modeling: Does One Plus One Add Up?, , , , , and . Business Process Management Workshops, volume 436 of Lecture Notes in Business Information Processing, page 261-272. Springer, (2021)Towards Understanding the Role of the Human in Event Log Extraction., , , , , , and . Business Process Management Workshops, volume 436 of Lecture Notes in Business Information Processing, page 86-98. Springer, (2021)On Profiles and Footprints - Relational Semantics for Petri Nets., and . Petri Nets, volume 7347 of Lecture Notes in Computer Science, page 148-167. Springer, (2012)Compositional Verification of Asynchronously Communicating Systems.. FACS, volume 8997 of Lecture Notes in Computer Science, page 49-67. Springer, (2014)An Assignment on Information System Modeling - On Teaching Data and Process Integration., and . Business Process Management Workshops, volume 342 of Lecture Notes in Business Information Processing, page 553-566. Springer, (2018)