Keyword: experience with using nets

• Jørgensen, Jens Bæk:
  Coloured Petri Nets in Development of a Pervasive Health Care System. 2003.

• Christensen, Søren; Jørgensen, Jens B.:
  Analysing Bang & Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets. 1997.

• Christensen, Søren; Mortensen, Kjeld H.:
  Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course. 1997.

• Jørgensen, Jense Bæk; Mortensen, Kjeld Høyer:
  Modelling and Analysis of Distributed program Execution in BETA Using Coloured Petri Nets. 1996.

Back to the Petri Nets Bibliography