Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca. Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks. J. Intelligent Manufacturing, 15(3):351-371, 2004. [doi]
Abstract is missing.