Verification and validation of control algorithms by coupling of interpreted Petri nets.

Georg Frey, Lothar Litz

Browse the full SMC paper archive.