Petri net and its application in deadlock detection

Jack Penm; Robert Penm; Jonathan Penm; R. D. Terrell; Yasuo Hoshino

doi:10.1504/IJMED.2009.021739

Petri net and its application in deadlock detection

Jack Penm^*, Robert Penm, Jonathan Penm^*, R. D. Terrell, Yasuo Hoshino

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

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.

Original language	English
Pages (from-to)	118-135
Number of pages	18
Journal	International Journal of Management and Enterprise Development
Volume	6
Issue number	1
DOIs	https://doi.org/10.1504/IJMED.2009.021739
Publication status	Published - 2009

Access to Document

10.1504/IJMED.2009.021739

Cite this

@article{1b4b6ffe8c71439fa5601aeb1919544c,

title = "Petri net and its application in deadlock detection",

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 = "Enterprise, Management and enterprise development, Petri nets",

author = "Jack Penm and Robert Penm and Jonathan Penm and Terrell, {R. D.} and Yasuo Hoshino",

year = "2009",

doi = "10.1504/IJMED.2009.021739",

language = "English",

volume = "6",

pages = "118--135",

journal = "International Journal of Management and Enterprise Development",

issn = "1468-4330",

publisher = "Inderscience Enterprises Ltd",

number = "1",

}

TY - JOUR

T1 - Petri net and its application in deadlock detection

AU - Penm, Jack

AU - Penm, Robert

AU - Penm, Jonathan

AU - Terrell, R. D.

AU - Hoshino, Yasuo

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

KW - Enterprise

KW - Management and enterprise development

KW - Petri nets

UR - http://www.scopus.com/inward/record.url?scp=57349162047&partnerID=8YFLogxK

U2 - 10.1504/IJMED.2009.021739

DO - 10.1504/IJMED.2009.021739

M3 - Article

SN - 1468-4330

VL - 6

SP - 118

EP - 135

JO - International Journal of Management and Enterprise Development

JF - International Journal of Management and Enterprise Development

IS - 1

ER -

Petri net and its application in deadlock detection

Abstract

Access to Document

Other files and links

Fingerprint

Cite this