Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jens Baek Jorgensen
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
Related publications
The Symmetry Method for Coloured Petri Nets
DAIMI Report Series
Parametrisation of Coloured Petri Nets
DAIMI Report Series
Coloured Petri Nets and the Invariant-Method
DAIMI Report Series
Modelling Chronicle Recognition for Distributed Simulation Processing With Coloured Petri Nets
From Code to Coloured Petri Nets: Modelling Guidelines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Coloured Petri Nets: A High Level Language for System Design and Analysis
DAIMI Report Series
Particle Filter for Depth Evaluation of Networking Intrusion Detection Using Coloured Petri Nets
Stochastic DES Fault Diagnosis With Coloured Interpreted Petri Nets
Mathematical Problems in Engineering
Mathematics
Engineering
Coloured Petri Nets With Parallel Composition to Separate Concerns
