Author of the publication

Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification.

, , and . PNSE, volume 851 of CEUR Workshop Proceedings, page 32-46. CEUR-WS.org, (2012)

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

A Conceptual Framework for Understanding Event Data Quality for Behavior Analysis., and . ZEUS, volume 1826 of CEUR Workshop Proceedings, page 11-14. CEUR-WS.org, (2017)How the Structuring of Domain Knowledge Helps Casual Process Modelers., , , , , , and . ER, volume 6412 of Lecture Notes in Computer Science, page 445-451. Springer, (2010)Conformance Checking of Interacting Processes with Overlapping Instances., , , and . BPM, volume 6896 of Lecture Notes in Computer Science, page 345-361. Springer, (2011)Towards Process Models for Disaster Response., and . Business Process Management Workshops, volume 17 of Lecture Notes in Business Information Processing, page 254-265. Springer, (2008)Where Did I Go Wrong? - Explaining Errors in Business Process Models., and . BPM, volume 8659 of Lecture Notes in Computer Science, page 283-300. Springer, (2014)Enacting Complex Data Dependencies from Activity-Centric Business Process Models., , , and . BPM (Demos), volume 1021 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)Scenario-based process modeling with Greta., and . BPM (Demos), volume 615 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)Handling Duplicated Tasks in Process Discovery by Refining Event Labels., , , and . BPM, volume 9850 of Lecture Notes in Computer Science, page 90-107. Springer, (2016)Automating Data Exchange in Process Choreographies (Extended Abstract)., , , , and . EMISA, volume 1701 of CEUR Workshop Proceedings, page 13-16. CEUR-WS.org, (2016)Analysis on demand: Instantaneous soundness checking of industrial business process models., , , , , and . Data Knowl. Eng., 70 (5): 448-466 (2011)