TY  - RPRT
TI  - Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
AU  - Parosh Abdulla
AU  - Pritha Mahata
AU  - Richard Mayr
PY  - 2007
DO  - 10.2168/lmcs-3(1:1)2007
UR  - https://arxiv.org/abs/cs/0611048
ID  - cs/0611048
ER  -