Observable liveness of Petri nets with controllable and observable transitions-MedSci.cn

Observable liveness of Petri nets with controllable and observable transitions

Liu, GJ; Jiang, CJ

Liu, GJ (reprint author), Tongji Univ, Dept Comp Sci, Shanghai 201804, Peoples R China.; Liu, GJ (reprint author), Tongji Univ, Minist Educ, Key Lab Embedded Syst & Serv Comp, Shanghai 201804, Peoples R China.; Liu, GJ (reprint author), Tongji Univ, Shang