×

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

3 Gnad, Daniel
3 Hoffmann, Jörg
2 Baldan, Paolo
2 Lluch Lafuente, Alberto
2 Rodríguez, César Marín
2 Schwoon, Stefan
1 Bruni, Alessandro
1 Carraro, Alberto
1 Chatain, Thomas
1 Corradini, Andrea
1 Dubbert, Patrick
1 Eisenhut, Jan
1 Haar, Stefan
1 Kolčák, Juraj
1 König, Barbara
1 Paulevé, Loïc
1 Thakkar, Aalok

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)

Citations by Year