Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gašper Mušic
Schedule Optimization Based on Coloured Petri Nets and Local Search
SNE Simulation Notes Europe
Related publications
Parametrisation of Coloured Petri Nets
DAIMI Report Series
Coloured Petri Nets and the Invariant-Method
DAIMI Report Series
The Symmetry Method for Coloured Petri Nets
DAIMI Report Series
Advanced Saturation-Based Model Checking of Well-Formed Coloured Petri Nets
Periodica polytechnica Electrical engineering and computer science
Electronic Engineering
Information Systems
Signal Processing
Computer Networks
Communications
Computer Science Applications
Electrical
Software
From Code to Coloured Petri Nets: Modelling Guidelines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
Stochastic DES Fault Diagnosis With Coloured Interpreted Petri Nets
Mathematical Problems in Engineering
Mathematics
Engineering
Coloured Petri Nets With Parallel Composition to Separate Concerns
Analysing Coloured Petri Nets by the Occurrence Graph Method
DAIMI Report Series
