verifypn in Launchpad

verifypn

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

Maintainer:: VerifyPN Maintainers

Driver:: VerifyPN Maintainers

Licence:: GNU GPL v3

View full history Series and milestones

trunk series is the current focus of development.

All code Code

lp:verifypn
Browse the code

Version control system:: Bazaar

Programming languages:: C++

All bugs Latest bugs reported

Bug #1927726: makePetriNet() very slow for certain nets
Reported on 2021-05-07
Bug #1906837: Weird parenthesis added in unfolded query for places
Reported on 2020-12-04
Bug #1770930: Rename all Error to ERROR in verifypn
Reported on 2020-05-14
Bug #1870506: Z3 TAR implementation has wrong answers
Reported on 2020-04-03
Bug #1613646: framework_game: XMLPlayer does not print target edges
Reported on 2016-08-16

More contributors Top contributors

Nikolaj Jensen Ulrik 1286 points
Simon Virenfeldt 1077 points
Jiri Srba 754 points
Peter Gjøl Jensen 164 points
Thomas Pedersen 107 points

Get Involved

Report a bug
warning

Ask a question
warning

Help translate

Downloads

verifypn does not have any download files registered with Launchpad.