ACC
Minas, M.; Frey, G.: Visual PLC-Programming using Signal Interpreted Petri Nets. Proceedings of the American Control Conference (ACC 2002), Vol. 6, pp. 5019-5024, Anchorage, Alaska, May 2002. <DOI: 10.1109/ACC.2002.1025461>
Klein, S.; Weng, X.; Frey, G.; Lesage, J.-J.; Litz, L.: Controller Design for an FMS using Signal Interpreted Petri Nets and SFC. Proceedings of the American Control Conference (ACC 2002), pp. 4141-4146, Anchorage, Alaska, May 2002. <DOI: 10.1109/ACC.2002.1024579>
Frey, G.: Panel discussion on "Formal methods in PLC Control". Proceedings of the American Control Conference (ACC 2002), Vol. 5, pp. 4172-4173, Anchorage, Alaska, USA, May 2002. <DOI: 10.1109/ACC.2002.1024584>