Verification of Petri net models based on transition vectors

被引：0

作者：

Ahmad, Farooq ^{[1
]}

Huang, He-Jiao ^{[1
]}

Wang, Xiao-Long ^{[1
]}

机构：

[1] Shenzhen Grad Sch, Harbin Inst Technol, Dept Comp Sci, Shenzhen 518055, Peoples R China

来源：

PROCEEDINGS OF 2008 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7 | 2008年

关键词：

Petri net; verification method; structural properties; transition vectors;

D O I：

10.1109/ICMLC.2008.4620651

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：1542 / 1547

页数：6

共 50 条

[41] Verification of Service Replaceability with Colored Petri Net
Liu, Ying
Zhang, Bin
Wang, De-shuai
Zhang, Ming-wei
Zhu, Zhi-liang
[J]. 2009 INTERNATIONAL SYMPOSIUM ON INTELLIGENT UBIQUITOUS COMPUTING AND EDUCATION, 2009, : 400 - +
[42] Petri net modeling and verification of transactional workflows
Klai, Kais
Gaaloul, Walid
[J]. 2011 20TH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2011, : 176 - 184
[43] Incidence Matrix Based Methods for Computing Repetitive Vectors and Siphons of Petri Net
Liu, Guan-Jun
Jiang, Chang-Jun
[J]. JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2009, 25 (01) : 121 - 136
[44] Petri net based models for specification and analysis of cryptographic protocols
Lee, GS
Lee, JS
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1997, 37 (02) : 141 - 159
[45] Petri net based safety analysis of workflow authorization models
Atluri, Vijayalakshmi
Huang, Wei-Kuang
[J]. Journal of Computer Security, 2000, 8 (02) : 209 - 240
[46] Petri Net controller synthesis based on decomposed manufacturing models
Dideban, Abbas
Zeraatkar, Hashem
[J]. ISA TRANSACTIONS, 2018, 77 : 90 - 99
[47] Overview of Fault Diagnosis Methods based on Petri Net Models
Basile, Francesco
[J]. 2014 EUROPEAN CONTROL CONFERENCE (ECC), 2014, : 2636 - 2642
[48] Network Supplier Credit Management: Models Based on Petri Net
Fu, Yonggui
Zhu, Jianming
[J]. TEHNICKI VJESNIK-TECHNICAL GAZETTE, 2019, 26 (05): : 1434 - 1443
[49] Fault detection based on Petri net models with faulty behaviors
Ushio, T
Onishi, I
Okuda, K
[J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 113 - 118
[50] Two MPI-Based extended Petri net models
Zeng, Wu
Hong, Zhiguo
[J]. DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2007, 14 : 210 - 212

← 1 2 3 4 5 →