Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Anna Dedova
From Code to Coloured Petri Nets: Modelling Guidelines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Modelling IoT-enabled Logistics Process Adaptations With Coloured Petri Nets
Parametrisation of Coloured Petri Nets
DAIMI Report Series
Modelling Chronicle Recognition for Distributed Simulation Processing With Coloured Petri Nets
Coloured Petri Nets With Parallel Composition to Separate Concerns
Coloured Petri Nets and the Invariant-Method
DAIMI Report Series
The Symmetry Method for Coloured Petri Nets
DAIMI Report Series
Stochastic DES Fault Diagnosis With Coloured Interpreted Petri Nets
Mathematical Problems in Engineering
Mathematics
Engineering
Analysing Coloured Petri Nets by the Occurrence Graph Method
DAIMI Report Series
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
