Condensed state spaces for symmetrical coloured Petri nets

Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries

IEEE Transactions on Parallel and Distributed Systems

Verifying security protocols with Brutus

ACM Transactions on Software Engineering and Methodology (TOSEM)

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

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

Modelling and Model Checking a Distributed Shared Memory Consistency Protocol

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

Counterexample-guided abstraction refinement for symbolic model checking

Journal of the ACM (JACM)

Implementing Coloured Petri Nets Using a Functional Programming Language

Higher-Order and Symbolic Computation

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

Coloured Petri nets: status and outlook

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets

Using Petri net invariants in state space construction

TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems

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

Hybrid search algorithm to optimize scheduling problems for TCPN models

Proceedings of the 2010 Summer Computer Simulation Conference

A perspective on explicit state space exploration of coloured petri nets: past, present, and future

PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets

The sweep-line state space exploration method

Theoretical Computer Science

Using colored petri nets to construct coalescent hidden markov models: automatic translation from demographic specifications to efficient inference methods

PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets

Finding Symmetries of Algebraic System Nets

Fundamenta Informaticae