Antonio Camurri Paolo Franchi Francesca Gandolfo Renato Zaccaria Petri net based process scheduling: A model of the control system of flexible manufacturing systems. 99-123 1993 8 Journal of Intelligent and Robotic Systems 1 http://dx.doi.org/10.1007/BF01258642 db/journals/jirs/jirs8.html#CamurriFGZ93