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

Soundness-preserving composition of synchronously and asynchronously interacting workflow net components., , , and . CoRR, (2020)Process mining using BPMN: relating event logs and process models., , , and . Softw. Syst. Model., 16 (4): 1019-1048 (2017)Analyzing Compatibility of Services via Resource Conformance., and . Fundam. Informaticae, 128 (1-2): 129-141 (2013)Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems.. Fundam. Informaticae, 43 (1-4): 195-214 (2000)Cellular Resource-Driven Automata., and . Fundam. Informaticae, 120 (3-4): 243-257 (2012)Automatic construction of systems of distributed components from nested Petri nets models., and . Program. Comput. Softw., 42 (5): 292-306 (2016)Discovery of Cancellation Regions within Process Mining Techniques., and . CS&P, volume 1032 of CEUR Workshop Proceedings, page 232-244. CEUR-WS.org, (2013)Nested Petri Nets for Adaptive Process Modeling.. Pillars of Computer Science, volume 4800 of Lecture Notes in Computer Science, page 460-474. Springer, (2008)On Occurrence Net Semantics for Petri Nets with Contacts.. FCT, volume 1279 of Lecture Notes in Computer Science, page 317-328. Springer, (1997)Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure.. Fundam. Informaticae, 60 (1-4): 225-235 (2004)