SMC

Litz, L.; Frey, G.: A Senior Course on Logic Process Control based on Petri Nets Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC 1998), Vol. 1, pp. 274-277, San Diego, California, USA, Oct. 1998. <DOI: 10.1109/ICSMC.1998.725421>

Frey, G.; Litz, L.: Verification and Validation of Control Algorithms by Coupling of Interpreted Petri Nets. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC 1998), Vol. 1, pp. 7-12, San Diego, California, USA, Oct. 1998. <DOI: 10.1109/ICSMC.1998.725375>