计算机工程与应用2019，Vol.55Issue(4)：72-78,7.DOI:10.3778/j.issn.1002-8331.1807-0263
延迟时间Petri网的验证分析
Verification Analysis for Delay Time Petri Nets
摘要
Abstract
Delay Time Petri Nets(DTPN)are an important kind of time-extended Petri nets. They overcome the difficul-ties of other time-extended Petri nets(such as Time Petri Nets)in the preservation of timing constraints. Schedulability verification is to testify the rationality of timing constraints of workflow model and to do simulation to verify the time accessibility for process instances. A novel verification analysis approach is presented for timing constraint workflows based on DTPN. Firstly, the definition of DTPN is given, and the time conditions of transition firable are described in combination with workflow structure. Then, the concept of DTPN firing point and the verification analysis algorithm based on this are proposed. Finally, the characteristics of DTPN are briefly analyzed. The research of DTPN enriches and improves the existing time-related Petri nets, which is of positive significance.关键词
实时系统/延迟时间Petri网(DTPN)/验证分析Key words
real-time systems/ Delay Time Petri Nets(DTPN)/ verification analysis分类
信息技术与安全科学引用本文复制引用
冯复剑..延迟时间Petri网的验证分析[J].计算机工程与应用,2019,55(4):72-78,7.
