Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Condensed state spaces for symmetrical coloured Petri nets
Formal Methods in System Design - Special issue on symmetry in automatic verification
Better verification through symmetry
Formal Methods in System Design - Special issue on symmetry in automatic verification
Exploiting symmetry in temporal logic model checking
Formal Methods in System Design - Special issue on symmetry in automatic verification
Formal Methods in System Design - Special issue on symmetry in automatic verification
IEEE Transactions on Parallel and Distributed Systems
Design/CPN - A Computer Tool for Coloured Petri Nets
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
A Sweep-Line Method for State Space Exploration
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Improved probabilistic verification by hash compaction
CHARME '95 Proceedings of the IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
A Generalised Sweep-Line Method for Safety Properties
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Reliable Hashing without Collosion Detection
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method
ACSD '01 Proceedings of the Second International Conference on Application of Concurrency to System Design
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
ASAP: An Extensible Platform for State Space Analysis
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Dynamic State Space Partitioning for External Memory Model Checking
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection
Transactions on Petri Nets and Other Models of Concurrency III
Modelling and analysis of a DANFOSS flowmeter system using coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
CPN tools for editing, simulating, and analysing coloured Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
The ComBack method: extending hash compaction with backtracking
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Exploiting equivalence reduction and the sweep-line method for detecting terminal states
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Analyzing and completing middleware designs for enterprise integration using coloured petri nets
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
| Hi-index | 0.00 |
We provide a chronological research perspective on the development and application of methods and supporting computer tools for state space exploration and model checking of Coloured Petri Nets. We discuss how the lessons learned from practical applications have influenced current and envisioned future research directions concentrating on the ongoing development of the ASAP state space exploration platform.