Antonio Camurri, Paolo Franchi, Francesca Gandolfo, Renato Zaccaria. Petri net based process scheduling: A model of the control system of flexible manufacturing systems. Journal of Intelligent and Robotic Systems, 8(1):99-123, 1993. [doi]
Abstract is missing.