Soundness of resource-constrained workflow nets

Lecture Notes in Computer Science

Volumn 3536, Issue , 2005, Pages 250-267

  Van Hee, Kees ^a   Serebrenik, Alexander ^a   Sidorova, Natalia ^a   Voorhoeve, Marc ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Concurrency; Petri nets; Resources; Verification; Workflow

Indexed keywords

ALGORITHMS; MATHEMATICAL MODELS;

CONCURRENT PROCESSES; RESOURCE CONSTRAINTS; RESOURCE-CONSTRAINED WORKFLOW NETS;

PETRI NETS;

EID: 26444484979     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11494744_15     Document Type: Conference Paper

References (16)

1. W. M. P. van der Aalst. Verification of workflow nets. In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets 1997, ICATPN'1997, volume 1248 of Lecture Notes in Computer Science. Springer-Verlag, 1997.
2. 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.
3. W. M. P. van der Aalst. Workflow verification: Finding control-flow errors using Petri-net-based techniques. In W. M. P. van der Aalst, J. Desel, and A. Oberweis, editors, Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science, pages 161-183. Springer-Verlag, 1999.
4. W. M. P. van der Aalst and K. M. van Hee. Workflow Management: Models, Methods, and Systems. MIT Press, 2002.
5. K. Barkaoui and L. Petrucci. Structural analysis of workflow nets with shared resources. In Workflow management: Net-based Concepts, Models, Techniques and Tools (WFM'98), volume 98/7 of Computing science reports, pages 82-95. Eindhoven University of Technology, 1998.
6. J. Colom. The resource allocation problem in flexible manufacturing systems. In W. van der Aalst and E. Best, editors, Application and Theory of Petri Nets 2003, ICATPN'2003, volume 2679 of Lecture Notes in Computer Science, pages 23-35. Springer-Verlag, 2003.
7. T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. MIT Press, 1990.
8. E. W. Dijkstra. Ewd 623. Selected writings on computing: a personal perspective, 1982.
9. J. Ezpeleta. Flexible manufacturing systems. In C. Girault and R. Valk, editors, Petri nets for systems engineering. Springer-Verlag, 2003.
10. J. Ezpeleta, J. M. Colom, and J. Martínez. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 11(2):173-184, 1995.
11. K. van Hee, N. Sidorova, and M. Voorhoeve. Soundness and separability of work-flow nets in the stepwise refinement approach. In W. van der Aalst and E. Best, editors, Application and Theory of Petri Nets 2003, ICATPN'2003, volume 2679 of Lecture Notes in Computer Science, pages 337-356. Springer-Verlag, 2003.
12. K. Lautenbach. Liveness in Petri Nets. Internal Report of the Gesellschaft für Mathematik und Datenverarbeitung, Bonn, Germany, ISF/75-02-1, 1975.
13. M. Silva and E. Teruel. Petri nets for the design and operation of manufacturing systems. European Journal of Control, 3(3): 182-199, 1997.
14. M. Silva and R. Valette. Petri nets and flexible manufacturing. In G. Rozenberg, editor, Applications and Theory of Petri Nets, volume 424 of Lecture Notes in Computer Science, pages 374-417. Springer, 1990.
15. T. Takaoka. Subcubic cost algorithms for the all pairs shortest path problem. Algorithmica, 3(20):309-318, 1998.
16. U. Zwick. Exact and approximate distances in graphs - a survey. In F. Meyer auf der Heide, editor, Algorithms - ESA 2001, 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings, Lecture Notes in Computer Science, pages 33-48. Springer Verlag, 2001.