Cunf
swMATH ID: | 9238 |
Software Authors: | Rodríguez, César; Schwoon, Stefan |
Description: | Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs. Cunf is a tool for building and analyzing unfoldings of Petri nets with read arcs. An unfolding represents the behaviour of a net by a partial order, effectively coping with the state-explosion problem stemming from the interleaving of concurrent actions. C-net unfoldings can be up to exponentially smaller than Petri net unfoldings, and recent work proposed algorithms for their construction and verification. Cunf is the first implementation of these techniques, it has been carefully engineered and optimized to ensure that the theoretical gains are put into practice. |
Homepage: | http://link.springer.com/chapter/10.1007/978-3-319-02444-8_42 |
Related Software: | SPIN; Mole; Paramils; SATzilla; Graphplan; z3; Walksat; NuSMV; PRISM; PEP; CosyVerif; Punf |
Cited in: | 7 Documents |
all
top 5
Cited by 17 Authors
Cited in 3 Serials
1 | Artificial Intelligence |
1 | Theoretical Computer Science |
1 | Natural Computing |
Cited in 3 Fields
7 | Computer science (68-XX) |
1 | Dynamical systems and ergodic theory (37-XX) |
1 | Biology and other natural sciences (92-XX) |