Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques-Reference-Cited by-同舟云学术

Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

Published:2000 Issue: Volume: Page:161-183
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

van der Aalst W. M. P.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45594-9_11

Reference26 articles.

1. W.M.P. van der Aalst. Three Good Reasons for Using a Petri-net-based Workflow Management System. In S. Navathe and T. Wakayama, editors, Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPI’96), pages 179–201, Camebridge, Massachusetts, Nov 1996.

2. Lect Notes Comput Sci;W.M.P. Aalst van der,1997

3. W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21–66, 1998.

4. W.M.P. van der Aalst. Woflan: A Petri-net-based Workflow Analyzer. Systems Analysis-Modelling-Simulation, 35(3):345–357, 1999.

5. W.M.P. van der Aalst, D. Hauschildt, and H.M.W. Verbeek. A Petri-net-based Tool to Analyze Workflows. In B. Farwer, D. Moldt, and M.O. Stehr, editors, Proceedings of Petri Nets in System Engineering (PNSE’97), pages 78–90, Hamburg, Germany, September 1997. University of Hamburg (FBI-HH-B-205/97).

Cited by 173 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Discovering hierarchical process models: an approach based on events partitioning;Modeling and Analysis of Information Systems;2024-09-13

2. Design and Optimization of a Petri Net-Based Concurrent Control System toward a Reduction in the Resources in a Field-Programmable Gate Array;Applied Sciences;2024-06-15

3. POWL: Partially Ordered Workflow Language;Lecture Notes in Computer Science;2023

4. There and Back Again;Application and Theory of Petri Nets and Concurrency;2023

5. Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems;Application and Theory of Petri Nets and Concurrency;2023