D. Andreu Jean-Claude Pascal Robert Valette Fuzzy Petri net-based programmable logic controller. 952-961 1997 27 IEEE Transactions on Systems, Man, and Cybernetics, Part B 6 db/journals/tsmc/tsmcb27.html#AndreuPV97