Brown, C., D. Gurr, and V. de Paiva. “A Linear Specification Language for Petri Nets”. DAIMI Report Series, vol. 20, no. 363, Oct. 1991, doi:10.7146/dpb.v20i363.6594.