Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets.

Eike Best, Raymond Devillers

Browse the full LATA paper archive.