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

Volume

3

fYear

2008

fDate

12-15 July 2008

Firstpage

1542

Lastpage

1547

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICMLC.2008.4620651

Filename

4620651