# Petri Net Verifier [closed]

Imagine I can specify a certain process as a Petri Net. Is there any good software, open source or not, that can verify my process against some conditions I declare (or code) in some language?

In case not, is there an open source software that does at least simulations?

## closed as off-topic by Evil, David Richerby, Yuval Filmus, Juho, Rick DeckerFeb 20 '17 at 14:07

• This question does not appear to be about computer science within the scope defined in the help center.
If this question can be reworded to fit the rules in the help center, please edit the question.

• I'm voting to close this question as off-topic because software recommendations are off-topic, here. You could ask at Software Recommendations. You could also try asking in Computer Science Chat, since what you're looking for definitely is related to computer science. – David Richerby Feb 10 '17 at 9:44
• The problem with this advice is that few specialists are likely to be on Software Recommendations. A well-known verification tool for Petri nets (within the community) is LoLA. – reinierpost Apr 25 at 13:02

On general nets, all interesting questions (e.g. marking reachability) are $\text{EXPSPACE}$-hard. General model-checking is undecidable even for very weak branching-time temporal logics; several interesting fragments of linear-time logics are decidable but at least as hard as the reachability problem, i.e. $\text{EXPSPACE}$-hard.