- Record: found
- Abstract: not found
- Article: not found
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references9
- Record: found
- Abstract: not found
- Book Chapter: not found
The state explosion problem
Antti Valmari (1998)
- Record: found
- Abstract: not found
- Book: not found
Elements of Distributed Algorithms
Wolfgang Reisig (1998)
- Record: found
- Abstract: not found
- Book Chapter: not found
A Coloured Petri Net Approach to Protocol Verification
Jonathan Billington, Guy Gallasch, Bing Han (2004)