MODELING AND REACHABILITY ANALYSIS OF BOUNDED PETRI NETS WITH SYNCHRONIZING TRANSITION
GAO Na,HAN Xiaoguang,CHEN Zengqiang,ZHANG Qing
Journal of System Science and Mathematical Science Chinese Series ›› 2016, Vol. 36 ›› Issue (7) : 924-936.
MODELING AND REACHABILITY ANALYSIS OF BOUNDED PETRI NETS WITH SYNCHRONIZING TRANSITION
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |