Skip navigation
Skip navigation

Petri net and its application in deadlock detection

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.

CollectionsANU 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:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator