STP-BASED JUDGMENT METHOD OF REVERSIBILITY AND LIVENESS OF BOUNDED PETRI NETS
HAN Xiaoguang,CHEN Zengqiang,LIU Zhongxin,ZHANG Qing
Journal of Systems Science and Mathematical Sciences ›› 2016, Vol. 36 ›› Issue (3) : 361-370.
STP-BASED JUDGMENT METHOD OF REVERSIBILITY AND LIVENESS OF BOUNDED PETRI NETS
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |