TY - RPRT TI - Unbounded product-form Petri nets AU - Patricia Bouyer AU - Serge Haddad AU - Vincent Jugé PY - 2017 UR - https://arxiv.org/abs/1708.05847 ID - 1708.05847 ER -