Title :
Verification of Petri net models based on transition vectors
Author :
Ahmad, Farooq ; Huang, He-Jiao ; Wang, Xiao-long
Author_Institution :
Dept. of Comput. Sci., Harbin Inst. of Technol., Shenzhen
Abstract :
The verification of distributed and concurrent systems is a complex task due to the state space explosion problem. In this paper, transition vectors have been initiated as a simplified and systematic approach to identify the structure and have the power of detecting the important structural prospects which aid to verify important properties of Petri nets. Several structural aspects of important properties have been examined for the verification of Petri net models using simplified approach of transition vectors in order to overcome the shortcomings of existing methods of verification.
Keywords :
Petri nets; vectors; Petri net models verification; concurrent systems verification; distributed systems verification; state space explosion problem; transition vectors; Computer science; Cybernetics; Explosions; Machine learning; Petri nets; Power system modeling; Space technology; State-space methods; Sufficient conditions; System recovery; Petri net; Structural properties; Transition vectors; Verification method;
Conference_Titel :
Machine Learning and Cybernetics, 2008 International Conference on
Conference_Location :
Kunming
Print_ISBN :
978-1-4244-2095-7
Electronic_ISBN :
978-1-4244-2096-4
DOI :
10.1109/ICMLC.2008.4620651
