TY - RPRT TI - Petri Nets Based on Lawvere Theories AU - Jade Master PY - 2020 DO - 10.1017/s0960129520000262 UR - https://arxiv.org/abs/1904.09091 ID - 1904.09091 ER -