Author of the publication

XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows.

, , and . Inf. Technol. Manag., 5 (1-2): 65-110 (2004)

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

Configuring Configurable Process Models Made Easier: An Automated Approach., , , , and . Business Process Management Workshops, volume 202 of Lecture Notes in Business Information Processing, page 105-117. Springer, (2014)Verification of XRL: An XML-based Workflow Language., , and . CSCWD, page 427-432. IEEE, (2001)Decomposed Replay Using Hiding and Reduction.. PNSE @ Petri Nets, volume 1591 of CEUR Workshop Proceedings, page 233-252. CEUR-WS.org, (2016)Interactive Data-Driven Process Model Construction., , , and . ER, volume 11157 of Lecture Notes in Computer Science, page 251-265. Springer, (2018)Soundness of Workflow Nets with Reset Arcs., , , , , , and . Trans. Petri Nets Other Model. Concurr., (2009)Task Elimination may Actually Increase Throughput Time., and . CoRR, (2018)Log Skeletons: A Classification Approach to Process Discovery., and . CoRR, (2018)XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology., , and . WES, volume 2512 of Lecture Notes in Computer Science, page 93-108. Springer, (2002)Organizational Modeling in UML and XML in the Context of Workflow Systems., , and . SAC, page 603-608. ACM, (2003)Supporting Process Mining Workflows with RapidProM., , and . BPM (Demos), volume 1295 of CEUR Workshop Proceedings, page 56. CEUR-WS.org, (2014)