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

Thomas Hujsa, Raymond R. Devillers. On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets. Fundamenta Informaticae, 161(4):383-421, 2018. [doi]

Abstract

Abstract is missing.