Soundness of Resource-Constrained Workflow Nets-Reference-Cited by-同舟云学术

Soundness of Resource-Constrained Workflow Nets

Published:2005 Issue: Volume: Page:250-267
ISSN:0302-9743
Container-title:Applications and Theory of Petri Nets 2005
language:
Short-container-title:

Author:

van Hee Kees,Serebrenik Alexander,Sidorova Natalia,Voorhoeve Marc

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11494744_15

Reference16 articles.

1. Lecture Notes in Computer Science;W.M.P. Aalst van der,1997

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

3. Lecture Notes in Computer Science;W.M.P. Aalst van der,2000

4. van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)

5. Barkaoui, K., Petrucci, L.: Structural analysis of workflow nets with shared resources. In: Workflow management: Net-based Concepts, Models, Techniques and Tools (WFM 1998). Computing science reports, vol. 98/7, pp. 82–95. Eindhoven University of Technology (1998)

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

1. Cross-Case Data Objects in Business Processes: Semantics and Analysis;Lecture Notes in Business Information Processing;2020

2. Model checking Petri nets with names using data-centric dynamic systems;Formal Aspects of Computing;2016-07

3. Classical workflow nets and workflow nets with reset arcs: using Lyapunov stability for soundness verification;Journal of Experimental & Theoretical Artificial Intelligence;2015-10-21

4. Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair;Fundamentals of Software Engineering;2013

5. Business Process Modeling Using Petri Nets;Transactions on Petri Nets and Other Models of Concurrency VII;2013