Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. I. Specification and design. - Klaus Feldmann; Armando Walter Colombo; C. Schnur; Thomas Stöckel (IEEE Trans. Control. Syst. Technol., 1999)

Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. II. Design and implementation. - Klaus Feldmann; Armando Walter Colombo; C. Schnur; Thomas Stöckel (IEEE Trans. Control. Syst. Technol., 1999)