verifypn

Registered by Jiri Srba

Development has moved to github: https://github.com/TAPAAL/verifypn

We no longer accepts merge request on launchpad. Please create a pull request on https://github.com/TAPAAL/verifypn

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

Maintainer:
VerifyPN Maintainers
Driver:
VerifyPN Maintainers
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++

More contributors Top contributors

Get Involved

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

Downloads

verifypn does not have any download files registered with Launchpad.