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

Analyzing Compatibility of Services via Resource Conformance., and . Fundam. Informaticae, 128 (1-2): 129-141 (2013)Discovery of Cancellation Regions within Process Mining Techniques., and . CS&P, volume 1032 of CEUR Workshop Proceedings, page 232-244. CEUR-WS.org, (2013)On Occurrence Net Semantics for Petri Nets with Contacts.. FCT, volume 1279 of Lecture Notes in Computer Science, page 317-328. Springer, (1997)Nested Petri Nets for Adaptive Process Modeling.. Pillars of Computer Science, volume 4800 of Lecture Notes in Computer Science, page 460-474. Springer, (2008)Controlling Petri Net Behavior Using Priorities for Transitions., and . CS&P, volume 1269 of CEUR Workshop Proceedings, page 126-137. CEUR-WS.org, (2014)Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets., and . Petri Nets, volume 9698 of Lecture Notes in Computer Science, page 325-344. Springer, (2016)Checking Properties of Adaptive Workflow Nets., , , , , and . Fundam. Informaticae, 79 (3-4): 347-362 (2007)Verification of Nested Petri Nets Using an Unfolding Approach., and . PNSE @ Petri Nets, volume 1591 of CEUR Workshop Proceedings, page 93-112. CEUR-WS.org, (2016)Property-Preserving Transformations of Elementary Net Systems Based on Morphisms., , , and . PNSE@Petri Nets, volume 2651 of CEUR Workshop Proceedings, page 49-67. CEUR-WS.org, (2020)Controlling Petri Net Behavior Using Time Constraints., and . CS&P, volume 1492 of CEUR Workshop Proceedings, page 19-33. CEUR-WS.org, (2015)