You will find here a large collection of Petri nets provided by the community, for your benchmarks or case studies.

Features

Collections of Petri nets

Browse the Model Checking Contest (MCC, UPMC), the Very Large Petri Net (VLPN , INRIA), or the former Petriweb (TU/e) collections and download the proposed Petri net models as much as you please.

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.

REST API

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 .

Reasons to use Petri Nets Repository (PNR)

Benchmarking

It is the first and foremost reason why we created this repository. Such a repository complements the efforts of the Model Checking Contest.

Fast Access

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.

Public Models

Models in this repository are publicly available thanks to the generosity of people from universities, research institutes, and from the industry, around the world.

Community-Driven

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!