( en | de | ru )

 

Disambiguation of "Verbeek, H.M.W."

Author of the publication

copydeleteadd this publication to your clipboard
Verification of the SAP Reference Models Using EPC Reduction, State-space Analysis, and Invariants

, , , and . Computers in Industry, 58 (6): 578--601 (2007)

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.

Rutger Verbeek

Tilman Verbeek

Wolfgang Verbeek

Friderike Verbeek

Norbert Verbeek

 

Other publications of authors with the same name

Soundness of Workflow Nets with Reset Arcs, , , , , , and . Transactions on Petri Nets and Other Models of Concurrency III, volume 5800 of Lecture Notes in Computer Science, page 50--70. Springer-Verlag, Berlin, (2009)ProM 6: The Process Mining Toolkit, , , and . Proc. of BPM Demonstration Track 2010, volume 615 of CEUR Workshop Proceedings, page 34--39. (2010)Visualizing State Spaces with Petri Nets, , , and . Computer Science Report 07/01, Eindhoven University of Technology, Eindhoven, The Netherlands, (2007)XRL/Flower: Supporting Interorganizational Workflows using XRL/Petri-net Technology, , and . Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop (WES 2002), volume 2512 of Lecture Notes in Computer Science, page 93--108. Springer-Verlag, Berlin, (2002)On Petri-Net Synthesis and Attribute-Based Visualization, , , and . Proceedings of the Workshop on Petri Nets and Software Engineering (PNSE'07), page 127--142. Publishing House of University of Podlasie, Siedlce, Poland, (2007)Replay using Recomposition: Alignment-Based Conformance Checking in the Large, , , , and . Proceedings of the BPM 2017 Demo Track, 1920, page 1--5. CEUR-WS.org, (2017)Adaptive Workflow: An Approach Based on Inheritance, , , , and . Proceedings of the IJCAI'99 Workshop on Intelligent Workflow and Process Management: The New Frontier for AI in Business, page 36--45. Stockholm, Sweden, (August 1999)Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance?, , and . Journal of Management Information Systems, 18 (3): 157--193 (2002)Verification and Enactment of Workflow Management Systems (submitted). Eindhoven University of Technology, Eindhoven, The Netherlands, (2004)Process Mining: A Two-Step Approach to Balance Between Underfitting and Overfitting, , , , , and . Software and Systems Modeling, 9 (1): 87--111 (2010)