-
1Academic Journal
المساهمون: Gu, C, Ma, Zy, Li, Zw, Giua, A
مصطلحات موضوعية: Petri net, System recovery, Automata, Analytical model, Supervisory control, Computational modeling, Explosion, Basis reachability graph (BRG), Nonblockingne
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000742676800001; volume:52; issue:10; firstpage:6162; lastpage:6173; numberofpages:12; journal:IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS; https://hdl.handle.net/11584/345192; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85123342981