An Axiomatisation of Duplication Equivalence in the Petri Box Calculus. - Martin Hesketh; Maciej Koutny (ICATPN, 1998)