( en | de | ru )

 

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

Author of the publication

copydeleteadd this publication to your clipboard
Reduction Rules for Reset/Inhibitor Nets

, , , and . BPM Center Report BPM-07-13, BPMcenter.org, (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

Norbert Verbeek

Friderike Verbeek

 

Other publications of authors with the same name

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)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)A Petri-net-based Tool to Analyze Workflows, , and . Proceedings of Petri Nets in System Engineering (PNSE'97), page 78--90. Hamburg, Germany, University of Hamburg (FBI-HH-B-205/97), (September 1997)Business Process Verification - Finally a Reality!, , , , and . BPM Center Report BPM-07-15, BPMcenter.org, (2007)Protos2CPN: Using Colored Petri Nets for Configuring and Testing Business Processes, , , and . Proceedings of the Seventh Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2006), volume 579 of DAIMI, page 137--156. Aarhus, Denmark, University of Aarhus, (October 2006)Diagnosing Workflow Processes Using Woflan, , and . BETA Working Paper Series, WP 48, Eindhoven University of Technology, Eindhoven, (2000)Conformance Checking of Service Behavior, , , , and . ACM Transactions on Internet Technology, 8 (3): 29--59 (2008)