Optimal Petri net supervisor synthesis for forbidden state problems using marking mask

Yuting Li, Li Yin, Yufeng Chen, Zhenhua Yu, Naiqi Wu. Optimal Petri net supervisor synthesis for forbidden state problems using marking mask. Inf. Sci., 505:183-197, 2019. [doi]

Abstract

Abstract is missing.