HELENA - the High LEvel Net Analyzer

As of 2011-09-14, this project may now be found at http://www-lipn.univ-paris13.fr/~evangelista/helena/.

Add a Review
1 Download (This Week)
Last Update:
  Browse Code SVN Repository

Description

Helena is an explicit state model checker for high-level Petri nets.

HELENA - the High LEvel Net Analyzer Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of HELENA - the High LEvel Net Analyzer!

Additional Project Details

Intended Audience

Developers, Education, Quality Engineers, Science/Research

Registered

2007-01-03
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.