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