Controlled timed Petri nets: equivalence relations, model reduction.

Ren K. Boel, Behzad Bordbar, Geert Stremersch

Browse the full SMC paper archive.