Paiva, Valeria de

• DAIMI Report Series No. 363 (1991): PB-363 A Linear Specification Language for Petri Nets - Articles
  A Linear Specification Language for Petri Nets
  Abstract  PDF