Report on the Model Checking Contest at Petri Nets 2011
- 1 January 2012
- book chapter
- other
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- Vol. 6, 169-196
- https://doi.org/10.1007/978-3-642-35179-2_8
Abstract
No abstract availableKeywords
This publication has 32 references indexed in Scilit:
- Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applicationsFormal Methods in System Design, 2010
- Hierarchical Set Decision Diagrams and Regular ModelsLecture Notes in Computer Science, 2009
- A New Algorithm for Partitioned Symbolic Reachability AnalysisElectronic Notes in Theoretical Computer Science, 2008
- Question-guided stubborn set methods for state propertiesFormal Methods in System Design, 2006
- Hierarchical Decision Diagrams to Exploit Model StructureLecture Notes in Computer Science, 2005
- A decomposition approach for stochastic reward net modelsPerformance Evaluation, 1993
- On Well-Formed Coloured Nets and Their Symbolic Reachability GraphPublished by Springer Science and Business Media LLC ,1991
- Transformations and Decompositions of NetsLecture Notes in Computer Science, 1987
- Myths about the mutual exclusion problemInformation Processing Letters, 1981
- Self-stabilizing systems in spite of distributed controlCommunications of the ACM, 1974