Synthesis of Petri net supervisors for FMS via redundant constraint elimination

Bo Huang, MengChu Zhou, Gongxuan Zhang. Synthesis of Petri net supervisors for FMS via redundant constraint elimination. Automatica, 61:156-163, 2015. [doi]

Abstract

Abstract is missing.