|
|||||
|
|
Efficient verification of a class of time Petri nets using linear programming |
|
| Affiliation: | 1. State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, People''s Republic of China 210093;2. Turku Centre for Computer Science (TUCS), Department of Computer Science, Åbo Akademi University, Lemminkäisenkatu 14, FIN-20520 Turku, Finland |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |