Petri net and its application in deadlock detection
-
Altmetric Citations
Penm, Jack HW; Penm, Robert; Penm, Jonathan; Terrell, Richard; Hoshino, Yasuo
Description
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.
Collections | ANU Research Publications |
---|---|
Date published: | 2008 |
Type: | Journal article |
URI: | http://hdl.handle.net/1885/34663 |
Source: | International Journal of Management and Enterprise Development |
DOI: | 10.1504/IJMED.2009.021739 |
Download
There are no files associated with this item.
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator