DocumentCode
3135671
Title
An extension of the liveness theory for concurrent sequential processes competing for shared resources
Author
Tricas, Fernando ; Martínez, Javier
Author_Institution
Dept. de Informatica e Ingenieria de Sistemas, Zaragoza Univ., Spain
Volume
4
fYear
1995
fDate
22-25 Oct 1995
Firstpage
3035
Abstract
The design of concurrent systems has to deal with the satisfaction of conditions of good behavior. In this work the way to model and analyze concurrent systems is using a subclass of Petri nets that is an extension of a previous class studied for the same kind of problems. Starting from a Petri net that models a system a policy is proposed to eliminate deadlocked states
Keywords
Petri nets; iterative methods; Petri nets; concurrent sequential processes; deadlocked states elimination; liveness theory; shared resources; Flexible manufacturing systems; Petri nets; System recovery; Virtual manufacturing;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century., IEEE International Conference on
Conference_Location
Vancouver, BC
Print_ISBN
0-7803-2559-1
Type
conf
DOI
10.1109/ICSMC.1995.538247
Filename
538247
Link To Document