Cite

HARVARD Citation

    Cong, X. et al. (2019). Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors. ISA transactions. pp. 145-154. [Online]. 
  
Back to record