The Helena Petri net tool (github page)


Description

Helena is a tool for Petri net analysis and model checking. Here are its main features :

Documentation

See the user guide and some net examples:

Releases


Last update: November 30, 2017