Title: Petri net and its application in deadlock detection
Authors: Jack Penm, Robert Penm, Jonathan Penm, R.D. Terrell, Yasuo Hoshino
Addresses: School of Finance and Applied Statistics, College of Business and Economics, Australian National University, Canberra ACT 0200, Australia. ' School of Finance and Applied Statistics, College of Business and Economics, Australian National University, Canberra ACT 0200, Australia. ' Royal Prince Alfred Hospital, University of Sydney, Camperdown NSW 2050, Australia; School of Finance and Applied Statistics, College of Business and Economics, Australian National University, Canberra ACT 0200, Australia. ' National Graduate School of Management, College of Business and Economics, Australian National University, Canberra ACT 0200, Australia. ' Graduate School of Accounting, Aichi University, 10-31 Tsutsui 2-Chome, Higachi-ku, Nagoya, Aichi 461 8641, Japan
Abstract: This article presents an integer linear-algebraic algorithm suitable to detect deadlocks of a safe and ordinary Petri net with (or without) inhibitor arcs. A systematic approach is developed for detecting deadlocks and the corresponding degree of firing sequences. The techniques have been applied to distributed execution and workflow-based enterprise areas.
Keywords: deadlock detection; enterprise development; Petri nets; firing sequences; modelling.
DOI: 10.1504/IJMED.2009.021739
International Journal of Management and Enterprise Development, 2009 Vol.6 No.1, pp.118 - 135
Published online: 01 Dec 2008 *
Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article