Algebraic high-level nets and transformations with initial markings (1994)

by L Ribeiro, J Padberg