Structural soundness of workflow nets is decidable-Reference-Cited by-同舟云学术

Structural soundness of workflow nets is decidable

Published:2005-10 Issue:2 Volume:96 Page:54-58
ISSN:0020-0190
Container-title:Information Processing Letters
language:en
Short-container-title:Information Processing Letters

Author:

Ţiplea Ferucio Laurenţiu,Marinescu Dan Cristian

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science

Reference9 articles.

1. V.M.P. van der Aalst, Structural characterization of sound workflow nets, Computing Science Report 96/23, Eindhoven University of Technology, 1996

2. The application of Petri nets to workflow management;van der Aalst;J. Circuits, Systems, Comput.,1998

3. K. Barkaoui, I.B. Abdallah, Analysis of a resource allocation problem in FMS using structure theory of Petri nets, in: Proceedings of the 1st International Workshop on FMS and Petri Nets, Osaka, June 1996

4. K. Barkaoui, Control systems design for automated manufacturing systems, Technical Report, CEDRIC, 1997

5. K. Barkaoui, L. Petrucci, Structural analysis of workflow nets with shared resources, in: Proceeding of the Workshop “Workflow Management: Net-Based Concepts, Models, Techniques and Tools WFM'98”, Lisbon (Portugal), June 1998, pp. 82–95

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

1. Soundness of reset workflow nets;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

2. Mapping of Robustness Diagram with Loop and Time Controls to Petri Net with Considerations on Soundness;Lecture Notes in Networks and Systems;2023

3. Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations;Computer Aided Verification;2022

4. Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2020-10

5. An Approach Based on Hierarchical Petri Nets for the Verification of Interconnected BPEL Processes;International Journal of Information System Modeling and Design;2018-04