Learn More
Based on Petri net (PN) models of automated manufacturing systems, this paper proposes a deadlock prevention method to obtain a maximally permissive (optimal) supervisor while minimizing its(More)