Murat Uzam, Gökhan Gelen, Tahir Lawan Saleh. Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs. Inf. Sci., 363:235-260, 2016. [doi]
Abstract is missing.