Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jens Bæk Jørgensen
Analysing Coloured Petri Nets by the Occurrence Graph Method
DAIMI Report Series
Related publications
Coloured Petri Nets and the Invariant-Method
DAIMI Report Series
The Symmetry Method for Coloured Petri Nets
DAIMI Report Series
Parametrisation of Coloured Petri Nets
DAIMI Report Series
From Code to Coloured Petri Nets: Modelling Guidelines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Stochastic DES Fault Diagnosis With Coloured Interpreted Petri Nets
Mathematical Problems in Engineering
Mathematics
Engineering
Coloured Petri Nets With Parallel Composition to Separate Concerns
Formalisation and Simulation of Operating Rules Using Coloured Petri Nets
WIT Transactions on the Built Environment
Building
Reliability
Arts
Transportation
Risk
Humanities
Automotive Engineering
Structural Engineering
Civil
Construction
Safety
Architecture
Computer Science Applications
Safety Research
Quality
Schedule Optimization Based on Coloured Petri Nets and Local Search
SNE Simulation Notes Europe
Modelling IoT-enabled Logistics Process Adaptations With Coloured Petri Nets
