Jørgensen, Jens Bæk

• DAIMI Report Series No. 516 (1997): PB-516 Construction of Occurrence Graphs with Permutation Symmetries Aided by the Backtrack Method - Articles
  Construction of Occurrence Graphs with Permutation Symmetries Aided by the Backtrack Method
  Abstract  PDF
• DAIMI Report Series No. 517 (1997): PB-517 Analysing Coloured Petri Nets by the Occurrence Graph Method - Articles
  Analysing Coloured Petri Nets by the Occurrence Graph Method
  Abstract  PDF
• DAIMI Report Series No. 513 (1997): PB-513 Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets - Articles
  Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets
  Abstract  PDF
• DAIMI Report Series No. 512 (1997): PB-512 Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm - Using Coloured Petri Nets and... - Articles
  Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm - Using Coloured Petri Nets and Occurrence Graphs with Symmetries
  Abstract  PDF
• DAIMI Report Series No. 515 (1997): PB-515 Verification by State Spaces with Equivalence Classes - Articles
  Verification by State Spaces with Equivalence Classes
  Abstract  PDF
• DAIMI Report Series No. 514 (1997): PB-514 Analysing Bang & Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets - Articles
  Analysing Bang & Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets
  Abstract  PDF
• DAIMI Report Series No. 511 (1997): PB-511 Design/CPN - A Computer Tool for Coloured Petri Nets - Articles
  Design/CPN - A Computer Tool for Coloured Petri Nets
  Abstract  PDF