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:/
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 #1613646: framework_game: XMLPlayer does not print target edges
Reported on 2016-08-16 -
Bug #1613235: framework_game: missing mpi.h depencendy
Reported on 2016-08-15 -
Bug #1613227: framework_game: xml flag in game mode does not work
Reported on 2016-08-15 -
Bug #1566861: add support for deadlock to the CTL engine
Reported on 2016-04-06 -
Bug #1337562: XML implication parsing problem
Reported on 2014-07-03
More contributors Top contributors
- Peter Gjøl Jensen 299 points
- Jiri Srba 273 points
- Mark Glavind 106 points
- Niels Christensen 79 points
- Andreas Klostergaard 11 points
