Sign in

Robust liveness-enforcing supervisor for Petri nets with unreliable resources based on mixed integer programming.

Gaiyun LiuYuting LiuZhiwu Li
Published in: Soft Comput. (2022)
Keyphrases