Model checking of signal interpreted Petri nets.

Xiying Weng, Lothar Litz

Browse the full SMC paper archive.