摘要 : Time Petri nets (TPNs) are a popular Petri net model for specification and verification of real-time systems. A fundamental and most widely applied method for analyzing Petri nets is reachability analysis. The existing technique f... 展开
作者 | Wang~ J. Deng~ Y. |
---|---|
期刊名称 | 《IEEE transactions on systems, man, and cybernetics. Part B》 |
页码/总页数 | P.725-736 / 12 |
语种/中图分类号 | 英语 / TP1 |
馆藏号 | IELEP0253 |