It is a expert system which does a Petri Net style resource allocation. This is an academic project done as a part of EECS 639 course.
-
Updated
Apr 18, 2017
It is a expert system which does a Petri Net style resource allocation. This is an academic project done as a part of EECS 639 course.
A basic worker pool manager for Erlang to showcase gen_pnet.
Transform Coloured Petri Nets in PNML format to equivalent Petri Nets
Petri net library based on Racket threads.
A process mining tool written in Python3
Model Checker Collection for the Model Checking Contest @ Petri nets
Bounded model checker for petri nets. It uses a SAT solver. The idea is presented at ATVA 2004.
A web application to model and simulate place-/transition nets.
Orchestrate (micro)service-based process flows
HPetriSim has a graphical editor which provides basic editing and simulation of Petri Nets.
Solution for Petri Net metrics. BPM course
Finite Smart Contract Protocol
Add a description, image, and links to the petri-net topic page so that developers can more easily learn about it.
To associate your repository with the petri-net topic, visit your repo's landing page and select "manage topics."