Liveness supervision of AMS with complex processes using Petri nets.

Hesuan Hu, Ying Tang, Mengchu Zhou, Zhiwu Li

Browse the full SMC paper archive.