Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness

Parosh Abdulla, Pritha Mahata, Richard Mayr

We consider Dense-Timed Petri Nets (TPN), an extension of Petri nets in which each token is equipped with a real-valued clock and where the semantics is lazy (i.e., enabled transit…