Cultural advice

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Aboriginal and Torres Strait Islander peoples are advised that ANU Library collections may include images, names, voices, and other representations of deceased persons.

Material in the collection may contain terms, language or views that reflect the period in which the item was created and may be considered inappropriate today.

Petri net and its application in deadlock detection

Thumbnail Image

Date

2008

Authors

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

Journal Title

Journal ISSN

Volume Title

Publisher

Inderscience Publishers

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.

Description

Keywords

Keywords: Enterprise; Management and enterprise development; Petri nets

Citation

URI

http://hdl.handle.net/1885/34663

Collections

ANU Research Publications

Source

International Journal of Management and Enterprise Development

Type

Journal article

Book Title

Entity type

Access Statement

License Rights

DOI

10.1504/IJMED.2009.021739

Restricted until

DSpace software copyright © 2002-2026 LYRASIS