ACC

Frey, G.: Analysis of Petri Net based Control Algorithms - Basic Properties. Proceedings of the American Control Conference (ACC 2000), Vol. 5, pp. 3172-3176, Chicago, Illinois, USA, Jun. 2000. <DOI: 10.1109/ACC.2000.879150>

Frey, G.: Automatic Implementation of Petri net based Control Algorithms on PLC. Proceedings of the American Control Conference (ACC 2000), Vol. 4, pp. 2819-2823, Chicago, Illinois, USA, Jun. 2000. <DOI: 10.1109/ACC.2000.878725>

Frey, G.; Litz L.: Correctness Analysis of Petri Net based Logic Controllers. Proceedings of the American Control Conference (ACC 2000), Vol. 5, pp. 3165-3166, Chicago, Illinois, USA, Jun. 2000. <DOI: 10.1109/ACC.2000.879148>

Frey, G.; Litz L.: Transparency Analysis of Petri net based Logic Controllers - A Measure for Software Quality in Automation. Proceedings of the American Control Conference (ACC 2000), Vol. 5, pp. 3182-3186, Chicago, Illinois, USA, Jun. 2000. <DOI: 10.1109/ACC.2000.879152>