On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2018-1708