Design and implementation of a Petri net based supervisor for a flexible manufacturing system
Automatica (Journal of IFAC)
Automatica (Journal of IFAC)
Analysis of Deadlock and Circular Waits Using a Matrix Model for Flexible Manufacturing Systems
Automatica (Journal of IFAC)
A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
Automatica (Journal of IFAC)
Hi-index | 22.15 |