Petri net and its application in deadlock detection
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|
|Source:||International Journal of Management and Enterprise Development|