Formal verification of PLC programs generated from signal interpreted Petri nets.

Thomas Mertke, Georg Frey

Browse the full SMC paper archive.