Lindstrøm, Bo

• DAIMI Report Series No. 562 (2002): PB-562 Facilitating the Practical Use of Coloured Petri Nets - Articles
  Facilitating the Practical Use of Coloured Petri Nets
  Abstract  PDF