1 H. Alla M. Silva A. Kusiak 1986 Petri nets for the specification of FMSs Elsevier Science Pub. 389-406