1 J.M. Couvreur J. Martínez 1991 Linear Invariants in Commutative High Level Nets 146-165