SMC

Mertke, T.; Frey, G.: Formal Verification of PLC-programs generated from Signal Interpreted Petri Nets. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC 2001), Vol. 4, pp. 2700-2705, Tucson, Arizona, USA, Oct. 2001. <DOI: 10.1109/ICSMC.2001.972974>