TY - RPRT TI - Petri Nets with Time and Cost AU - Parosh Aziz Abdulla AU - Richard Mayr PY - 2013 DO - 10.4204/eptcs.107.3 UR - https://arxiv.org/abs/1302.3291 ID - 1302.3291 ER -