A versatile supervisor with one monitor based on macro-tokens

DOI10.1093/imamci/dnt008zbMath1293.93528OpenAlexW2054056122MaRDI QIDQ2877762

Zhiwu Li, Emad Abouel Nasr, AnRong Wang, Abdulaziz M. El-Tamimi, Abdulrahman Al-Ahmari, Qi Wang

Publication date: 25 August 2014

Published in: IMA Journal of Mathematical Control and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/imamci/dnt008

zbMATH Keywords

Petri netstate spacecolored Petri netsreachability graphdeadlock controlversatile supervisor (VS)

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

This page was built for publication: A versatile supervisor with one monitor based on macro-tokens