SMC

Frey, G.; Litz, L.; Klöckner, F.: Complexity metrics for Petri net based logic control algorithms. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC 2000), Vol. 2, pp. 1204-1209, Nashville, Tennessee, USA, Oct. 2000. <DOI: 10.1109/ICSMC.2000.886016>

Frey,G.; Litz, L.: Formal methods in PLC programming. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC 2000), Vol. 4, pp. 2431-2436, Nashville, Tennessee, USA, Oct. 2000. <DOI: 10.1109/ICSMC.2000.884356>