Brown, Carolyn, et al. “A Linear Specification Language for Petri Nets”. DAIMI Report Series, vol. 20, no. 363, Oct. 1991, doi:10.7146/dpb.v20i363.6594.