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

Yasper: a tool for workflow modeling and analysis., , , , and . ACSD, page 279-282. IEEE Computer Society, (2006)A Framework for the Conceptual Modeling of Discrete Dynamic Systems., and . Temporal Aspects in Information Systems, page 61-75. North-Holland / Elsevier, (1987)Checking Properties of Adaptive Workflow Nets., , , , , and . Fundam. Inform., 79 (3-4): 347-362 (2007)Generation of Database Transactions with Petri Nets., , , and . Fundam. Inform., 93 (1-3): 171-184 (2009)Use Cases as Workflows., , and . Business Process Management, volume 2678 of Lecture Notes in Computer Science, page 88-103. Springer, (2003)Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed!, , and . Software Composition, volume 6144 of Lecture Notes in Computer Science, page 106-121. Springer, (2010)Component-based software architectures: a framework based on inheritance of behavior., , and . Sci. Comput. Program., 42 (2-3): 129-171 (2002)"Compositionality of projection inheritance" Sci. Comput. Programming 42 (2-3) (2002) 129-171., , and . Sci. Comput. Program., 44 (3): 343-344 (2002)Workflow Management: Models, Methods, and Systems, and . Cooperative information systems MIT Press, (2002)Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved!, , and . Petri Nets, volume 6709 of Lecture Notes in Computer Science, page 149-168. Springer, (2011)