Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS

von Uzam, Murat
Veröffentlicht in The international journal of advanced manufacturing technology (2007)

Think globally act locally approach for the synthesis of a liveness-enforcing supervisor of FMSs based on Petri nets

von Uzam, Murat
Veröffentlicht in International journal of production research (1-152016)

Maximally permissive deadlock prevention via an invariant controlled method

von Liu, Gaiyun
Veröffentlicht in International journal of production research (2013)

Reaching most states via refining controller regions for supervisors of two well-known S3PRs

von Chao, Daniel Yuh
Veröffentlicht in International journal of production research (2013)