The Helena Petri net tool (github page)

Description

• Properties that can be verified : deadlock freeness, safety properties, LTL-X properties
• High level language to specify Petri nets (e.g., list or set types, inhibitor arcs, user defined functions)
• Compilation of nets in C code to speed up the analysis
• Interface with C code (some arc inscriptions may be written directly in C)
• Multi-core verification algorithms
• Generation of reachability graph reports in a CPN Tools fashion (providing, e.g., bounds of places, liveness informations)
• Reduction techniques : partial order reduction, hash compaction, state compression

Documentation

• The distributed database system: description + reachability graph report
• The load balancing system : description + reachability graph report
• The towers of Hanoi : description + reachability graph report

Releases

• Version 3.0 (November 29, 2017)
  • helena-3.0.tgz (source + doc)
  • helena-3.0-x86_64.tgz (source + doc + 64-bit binaries)
• Version 2.3
  • helena-2.3.tgz (source + doc)
  • helena-2.3-x86_64.tgz (source + doc + 64-bit binaries)

Last update: November 30, 2017