sara

Reachability analysis in petri nets
http://service-technology.org/sara

Current versions
1.13
HEAD

Recent formula history

Dominique Orban sara: fix build, audits
Jack Nagel sara: use spec dependencies
Niels Sara: 1.13 - Deciding reachability for Petri nets

Formula code at GitHub