A formal approach to PFS/MFG: a Petri net representation of discrete manufacturing systems - Silva, José Reinaldo; Miyagi, Paulo Eigi (Studies in Informatics and Control, 1996)