32 citations · 32 across the 1 of their papers we have counts for
1 paper
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…