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
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;
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
DOI :
10.1109/ICSMC.1995.538247
