Resource-Constrained Workflow Nets

• Autorzy: van Hee K. , Sidorova N. , Voorhoeve M.
• Języki publikacji: EN

Abstrakty

EN

We study concurrent processes modelled as workflow Petri nets extended with resource constrains. Resources are durable units that can be neither created nor destroyed: they are claimed during the handling procedure and then released again. Typical kinds of resources are manpower, machinery, computer memory. We define structural criteria based on traps and siphons for the correctness of workflow nets with resource constraints. We also extend the soundness notion for workflow nets to the workflow nets with resource constraints; extra conditions concern the durability of resources. We prove some properties of sound resource-constrained workflow nets

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2006
• Tom: Vol. 71, nr 2,3
• Strony: 243--257
• Opis fizyczny: bibliogr. 13 poz.

Twórcy

autor

van Hee K.

autor

Sidorova N.

autor

Voorhoeve M.

• Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600MB Eindhoven, The Netherlands l,

Bibliografia

• [1] W. 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 and K. M. van Hee. Workflow Management: Models, Methods, and Systems. MIT Press, 2002.
• [3] 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.
• [4] 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.
• [5] F. Commoner. Deadlocks in Petri Nets. Applied Data Research, Inc., Wakefield, Massachusetts, Report CA-7206-2311, 1972.
• [6] J. Ezpeleta. Flexible manufacturing systems. In C. Girault and R. Valk, editors, Petri nets for systems engineering. Springer-Verlag, 2003.
• [7] 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.
• [8] K. van Hee, N. Sidorova, and M. Voorhoeve. Soundness and separability of workflow 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.
• [9] K. van Hee, N. Sidorova, and M. Voorhoeve. Generalised soundness of workflow nets is decidable. In J. Cortadella andW. Reisig, editors, Application and Theory of Petri Nets 2004, ICATPN'2004, volume 3099 of Lecture Notes in Computer Science, pages 197-216. Springer-Verlag, 2004.
• [10] K. van Hee, N. Sidorova, and M. Voorhoeve. Resource-constrained workflow nets. In G. Lindemann, editor, Proc. of Concurrency Specification and Programming, CS&P'2004, Informatik-Bericht Nr. 170, pages 166-177. Humboldt-Universität zu Berlin, 2004.
• [11] K. Lautenbach. Liveness in Petri Nets. Internal Report of the Gesellschaft für Mathematik und Datenverarbeitung, Bonn, Germany, ISF/75-02-1, 1975.
• [12] M. Silva and E. Turuel. Petri nets for the design and operation of manufacturing systems. European Journal of Control, 3(3):182-199, 1997.
• [13] P. Starke. Analyse von Petri-Netz-Modellen. Teubner, 1990.