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