Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Louise Elgaard
The Symmetry Method for Coloured Petri Nets
DAIMI Report Series
Related publications
Coloured Petri Nets and the Invariant-Method
DAIMI Report Series
Analysing Coloured Petri Nets by the Occurrence Graph Method
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
Symmetry Reduced State Classes for Time 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
Modelling Chronicle Recognition for Distributed Simulation Processing With Coloured Petri Nets
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
