C. Brown, D. Gurr, and V. de Paiva, “A Linear Specification Language for Petri Nets”, DPB, vol. 20, no. 363, Oct. 1991.