TY  - RPRT
TI  - Priced Timed Petri Nets
AU  - Richard M. Mayr
AU  - Parosh Aziz Abdulla
PY  - 2013
DO  - 10.2168/lmcs-9(4:10)2013
UR  - https://arxiv.org/abs/1307.2570
ID  - 1307.2570
ER  -