Structural Liveness of Conservative Petri Nets.

Petr Jancar, Jrme Leroux, Jiri Valusek

Browse the full FOSSACS paper archive.