TY - RPRT TI - ω-Petri nets AU - Gilles Geeraerts AU - Alexander Heußner AU - M. Praveen AU - Jean-François Raskin PY - 2013 UR - https://arxiv.org/abs/1301.6572 ID - 1301.6572 ER -