VERIFICATION OF PETRI NET MODELS BASED ON TRANSITION VECTORS

摘要：

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.

关键词： Petri net Verification method Structural properties Transition vectors

作者: FAROOQ AHMAD HE-JIAO HUANG XIAO-LONG WANG

作者单位: Department of Computer Science, Harbin Institute of Technology, Shenzhen Graduate School, Shenzhen 518055, China

会议类型: 国际会议

会议名称: 2008 International Conference on Machine Learning and Cybernetics(2008机器学习与控制论国际会议)

会议地点: 昆明

会议语种:英文

页码: 1542-1547

在线出版日期: 2008-07-12（万方平台首次上网日期，不代表论文的发表时间）