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
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;
Conference_Titel :
World Automation Congress (WAC), 2012
Conference_Location :
Puerto Vallarta, Mexico
Print_ISBN :
978-1-4673-4497-5
