Title :
Parallel algorithm for computation of deadlocks and traps in Petri nets
Author_Institution :
Univ. of Zielona Gora, Poland
fDate :
6/27/1905 12:00:00 AM
Abstract :
In the paper the method of computation all deadlocks and traps in the Petri net is presented. This method is based on Thelen method. Methods of calculation of all deadlocks and traps in Petri nets are very time consuming. Therefore it is very important to optimize a computation. The parallel computation method for the time reduction is proposed. Experimental results of presented method are discussed, as well
Keywords :
"Parallel algorithms","Concurrent computing","System recovery","Petri nets","Digital circuits","Parallel processing","Equations","Testing","Boolean functions","Bipartite graph"
Conference_Titel :
Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on
Print_ISBN :
0-7803-9401-1
DOI :
10.1109/ETFA.2005.1612513
