A lightweight tool for modeling and simulation of Stochastic Petri Nets (SPNs).

Ecofolder is a sotware for unfolding Petri nets with resets according to the McMillan and the Esparza/Römer/Vogler unfolding algorithms.

Toolset to capture, simulate, synthesize and verify graph models

Web app for developing process-driven application in low-code language Petriflow.

Petri nets diagrams for OpenPonk tool

A Petri-net simulator

SimPN (Simulation with Petri Nets) is a package for discrete event simulation in Python.

A Python module for modeling Karmada based Multi-Cluster Infrastructures using PetriNets

The biologist's Boolean attractor landscape mapper, building Waddington landscapes from Boolean networks.

Parses a Petri net and runs it

A Production Flow Description Language for an Order-Centric Production

Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, operads and nicely presented monoids

Simple Java library for Petri nets

build models using Petri-nets with an internal Domain Specific Language (DSL)

JSON-Nets editor is a highly adaptable process modelling tool that combines Petri Nets principles with the JSON data model and can be configured for different application domains.

Next-generation end-to-end low code language based on Petri nets.

Intelligent Sorting Robot DigitalTwin System with Dynamic Petri Net Scheduling

pflow | metamodel editor (run locally) in rust!

Simulação e análise de sistemas modelados através de redes de Petri utilizando o software PIPE

A Julia Library for context-oriented programming