Registered 2011-09-15 by Jiri Srba

The engine accepts Petri nets in XML format and verifies a reachability query.

VerifyPN is based on PeTe (https://github.com/jonasfj/PeTe) and aims to provide a fast untimed engine for TAPAAL.

Project information

Licence:
GNU GPL v3

RDF metadata

View full history Series and milestones

trunk series is the current focus of development.

All code Code

Version control system:
Bazaar
Programming languages:
C++

Get Involved

  • Report a bug
  • warning
    Ask a question
  • warning
    Help translate

Downloads

verifypn does not have any download files registered with Launchpad.