Verifying time Petri nets by linear programming |
| |
Authors: | Xuandong Li |
| |
Affiliation: | (1) State Key Laboratory of Novel Software Technology Department of Computer Science and Technology, Nanjing University, 210093 Nanjing, P.R. China |
| |
Abstract: | The paper proposes an approach to solving some verification prob- lems of time Petri nets using linear programming. The approach is based on the observation that for loop-closed time Petri nets, it is only necessary to investigate a finite prefix of an untimed run of the underlying Petri net. Using the technique the paper gives solutions to reachability and bounded delay timing analysis problems. For both problems algorithms are given, that are decision procedures for loop-closed time Petri nets, and semi-decision procedures for general time Petri nets. |
| |
Keywords: | Keywords:real-time system time Petri net linear programming model-checking This work is supported by the National Natural Sc |
本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录! |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载全文 |