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. Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. I. Specification and design. IEEE Trans. Contr. Sys. Techn., 7(6):657-665, 1999. [doi]

Abstract

Abstract is missing.