Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs
- 1 January 2013
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Efficient unfolding of contextual Petri netsTheoretical Computer Science, 2012
- Verification of Petri Nets with Read ArcsLecture Notes in Computer Science, 2012
- McMillan’s Complete Prefix for Contextual NetsLecture Notes in Computer Science, 2008
- An Extensible SAT-solverLecture Notes in Computer Science, 2004
- Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuitsLecture Notes in Computer Science, 1993
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989