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