DocumentCode
1574524
Title
Modeling and analysis of task synchronization process based on Petri Net
Author
Zhou, Shuang´E ; Xiong, Guoping
Author_Institution
Faculty of Mathematics and Computer Science, Hubei University, Wuhan, 430062, China
fYear
2012
Firstpage
267
Lastpage
271
Abstract
Research on task synchronization process is targeted at Triple Modular Redundancy (abbreviated TMR) fault-tolerant system. A task synchronization process model of Triple Modular Redundancy fault-tolerant system is described by Petri Net, and analyzed by reachability graph. It shows that the advantages of describing the task synchronization process model of Triple Modular Redundancy fault-tolerant system with Petri Net are intuitive, and easy to understand the implementation mechanism of task synchronization process.
Keywords
Fault-tolerant system; Petri net; Reachability graph; Task ynchronization;
fLanguage
English
Publisher
ieee
Conference_Titel
World Automation Congress (WAC), 2012
Conference_Location
Puerto Vallarta, Mexico
ISSN
2154-4824
Print_ISBN
978-1-4673-4497-5
Type
conf
Filename
6321071
Link To Document