Keyword: higher-level net models

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

• Ouyang, Chun; Kristensen, Lars Michael; Billington, Jonathan:
  A Formal Service Specification for the Internet Open Trading Protocol. 2002.

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

• Schmidt, Karsten:
  Siphons, Traps and High-Level Nets with Infinite Color Domains. 1997.

• Schmidt, Karsten:
  Verification of Siphons and Traps for Algebraic Petri Nets. 1997.

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

• Lilius, Johan:
  High-level Nets and Linear Logic. 1992.

Back to the Petri Nets Bibliography