Brown, C.; Gurr, D.; Paiva, V. de. A Linear Specification Language for Petri Nets. DPB 1991, 20.