You will find here a large collection of Petri nets provided by the community, for your benchmarks or case studies.
The MCC collection showcases several large parameterised instances of the MCC yearly competition. The VLPN collection proposes several hundreds of complex Petri nets. The Petriweb collection contains simpler or smaller models that you might want to use to get started with a new tool of yours.
Petri Nets Repository exposes a REST API that is easy to understand, and intuitive to use. Data is exchanged in JSON , and you really can play with it right away from your browser or the command line!
After having learnt a bit about the data structure of the responses you will get, you can start integrating Petri Nets Repository in your own tool. It cannot be simpler. You can learn more about the PNR API on the API reference page .
It is the first and foremost reason why we created this repository. Such a repository complements the efforts of the Model Checking Contest.
This repository will help you quickly find the type of model you are looking for! There are scores of models available, and we will keep adding new ones every year.
Models in this repository are publicly available thanks to the generosity of people from universities, research institutes, and from the industry, around the world.
PNR is a large collection of collections of Petri nets, maintained by the organisers of the Model Checking Contest. If you wish to contribute your models, we will be happy to help you publish them here!