Petri net and its application in deadlock detection

Jack Penm, Robert Penm, Jonathan Penm, R.D. Terrell and Yasuo Hoshino

International Journal of Management and Enterprise Development, 2009, vol. 6, issue 1, 118-135

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. (search for similar items in EconPapers)
Date: 2009
References: Add references at CitEc
Citations:

Downloads: (external link)
http://www.inderscience.com/link.php?id=21739 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:ids:ijmede:v:6:y:2009:i:1:p:118-135

Access Statistics for this article

More articles in International Journal of Management and Enterprise Development from Inderscience Enterprises Ltd
Bibliographic data for series maintained by Sarah Parker ().