Registered
by
Jiri Srba
Development has moved to github: https:/
We no longer accepts merge request on launchpad. Please create a pull request on https:/
The engine accepts Petri nets in XML format and verifies a reachability query.
VerifyPN is based on PeTe (https:/
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 bugs Latest bugs reported
-
Bug #1928770: ID of exported PNML model is hardcoded to "ClientsAndServers-PT-N0500P0"
Reported -
Bug #1927726: makePetriNet() very slow for certain nets
Reported -
Bug #1906837: Weird parenthesis added in unfolded query for places
Reported -
Bug #1770930: Rename all Error to ERROR in verifypn
Reported -
Bug #1870506: Z3 TAR implementation has wrong answers
Reported
More contributors Top contributors
- Jiri Srba 900 points
- Peter Gjøl Jensen 345 points
- Nikolaj Jensen Ulrik 134 points
- Rasmus Tollund 38 points
- Thomas Pedersen 28 points