Jörg Desel
-
Refining and verifying regular Petri nets
International Journal of Systems Science
A note on regular Petri nets
Information Processing Letters