Georg Frey, Lothar Litz. Transparency analysis of Petri net based logic controllers-a measure for software quality in automation. In American Control Conference, ACC 2000, Chicago, Illinois, USA, 28-30 June, 2000. pages 3182-3186, IEEE, 2000. [doi]
Abstract is missing.