petri-nets
There are 140 repositories under petri-nets topic.
rails-engine/workflow_core
[Deprecated, use flor_core instead] A Rails engine which providing essential infrastructure of workflow. It's based on Workflow Nets.
workcraft/workcraft
Toolset to capture, simulate, synthesize and verify graph models
WhiteGL/HSTPNSim
Using for petri nets simulations
nicolasAmat/SMPT
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
Julian-Theis/PyDREAM
Python Implementation of Decay Replay Mining (DREAM)
thorstink/Symmetri
Parses a Petri net and runs it
netgrif/application-engine
Workflow management system fully supporting low-code language Petriflow.
aslakhellesoy/petrinet
Petri Net simulation and diagramming
lambdamikel/GenEd
An Editor with Generic Semantics for Formal Reasoning About Visual Notations
lmkr/cpnbook
Homepage for the Coloured Petri Nets book
netgrif/petriflow
Next-generation end-to-end low code language based on Petri nets.
Lecrapouille/TimedPetriNetEditor
[Application][Version 0.4.0][Functional] A timed Petri net and graph event editor and simulator combined to (max,+) algebra with wrapped API for Julia lang
vldtecno/PTN-Engine
A Petri net based automation engine.
cesaro/cunf
A model checker for safe Petri nets based on partial-order semantics
Cobord/Hypergraph
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
jo-chr/pyspn
A lightweight tool for modeling and simulation of Stochastic Petri Nets (SPNs).
bpogroup/simpn
SimPN (Simulation with Petri Nets) is a package for discrete event simulation in Python.
iml130/pfdl
A Production Flow Description Language for an Order-Centric Production
lambdamikel/PetriNets-CLIM-Demo
A Simple Petri Net Editor and Simulator written in Common Lisp with CLIM (Common Lisp Interface Manager) GUI
FiroozehDastur/DistributedWorkflows.jl
A Julia interface to a distributed task-based workflow management system
cazevedo/gspn-framework
Framework that allows the design, execution and analysis of generalized stochastic Petri nets (GSPN). It allows capturing multi-robot problems as a GSPN and simulate the model.
Cobord/OpenMarkov-PetriNet-RxnNet
Open Markov Proceses as TensorFlow objects, Petri Nets and Chemical Rxn Nets in Haskell
netgrif/nae-backend-application-starter
Backend Starter project for Netgrif Application Engine
thenanisore/petri-net-editor
A minimalist Petri net editor.
asminer/smart
Stochastic Model-checking Analyzer for Reliability and Timing
dalzilio/nets
Nets is a Go library for parsing Petri nets, and Time Petri nets, written using the textual description format of the Tina toolbox
giannkas/ecofolder
Ecofolder is a sotware for unfolding Petri nets with resets according to the McMillan and the Esparza/Römer/Vogler unfolding algorithms.
lukoerfer/simple-pnml-dotnet
Simple .NET implementation of the Petri Net Markup Language (PNML), limited to Place-Transition-(PT)-Nets
netgrif/petriflow.js
JavaScript / Typescript library of Petriflow objects
SeekerRook/KarmadaPN
A Python module for modeling Karmada based Multi-Cluster Infrastructures using PetriNets
albertovalerio/petri-nets-tool-reactjs
A tool to draw Petri Nets and analyze their static and dynamic behavior.
dbera/Petri-net-Analysis-Tools
PnAT tools help you visualize and analyze properties of Petri nets specified in PNML format
Patro/my-petri-net
A web application to model and simulate place-/transition nets.
Viphor/cpn2pn
Transform Coloured Petri Nets in PNML format to equivalent Petri Nets
marcos-pereira/discrete-event-systems-sandbox
This project will implement simple automata and petri nets utilities for educational purposes.
nxsaken/petnat
A Petri net plugin for Bevy Engine.