Skip navigation
Skip navigation

Petri net and its application in deadlock detection

Penm, Jack HW; Penm, Robert; Penm, Jonathan; Terrell, Richard; Hoshino, Yasuo


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.

CollectionsANU Research Publications
Date published: 2008
Type: Journal article
Source: International Journal of Management and Enterprise Development
DOI: 10.1504/IJMED.2009.021739


There are no files associated with this item.

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator