DocumentCode :
1784646
Title :
Parallelism Analysis and Algorithm Design of Petri Net
Author :
Ze-Yu Tang ; Wen-Jing Li ; Xuan Wang ; Weizhi Liao
Author_Institution :
Coll. of Comput. & Inf. Eng., Guangxi Teachers Educ. Univ., Nanning, China
fYear :
2014
fDate :
24-27 Nov. 2014
Firstpage :
143
Lastpage :
147
Abstract :
To solve the parallelism algorithm of Petri network system with parallel feature and implementing paralleling control and execution of Petri network, we propose the analysis and algorithm design of Petri network process. Based on employing P-invariants to partition the function of Petri network system, we firstly analyzed the situations of parallelism between processes, checked the effects of the transition behavior on processes´ parallelism, and analyzed the transition behavior in the internal processes under various forms of process. Finally, by combining Parallelism of transition between inter-process and inner-process, we designed the parallelism algorithm for the processes of Petri network system, validated and analyzed it in practical examples. The experiment showed that the analysis and algorithm of Petri network processes´ parallelism are feasible and effective so that it is a useful method to control and execute Petri network processes concurrently.
Keywords :
Petri nets; parallel algorithms; P-invariants; Petri net; Petri network execution; Petri network system function partitioning; Petri network system process analysis; Petri network system process validation; innerprocess; internal processes; interprocess; parallel feature; paralleling control implementation; parallelism algorithm design; parallelism analysis; transition behavior analysis; Algorithm design and analysis; Educational institutions; Parallel algorithms; Petri nets; Process control; Servers; Changes in Transition; Cross-Process; Internal Processes; Parallelism; Petri Nets;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Distributed Computing and Applications to Business, Engineering and Science (DCABES), 2014 13th International Symposium on
Conference_Location :
Xian Ning
Print_ISBN :
978-1-4799-4170-4
Type :
conf
DOI :
10.1109/DCABES.2014.31
Filename :
6999074
Link To Document :
بازگشت