petrinet
There are 31 repositories under petrinet topic.
symfony/workflow
Provides tools for managing a workflow or finite state machine
hooopo/petri_flow
Petri Net Workflow Engine for Ruby.
delas/plg
A Business Processes and Logs Generator
aslakhellesoy/petrinet
Petri Net simulation and diagramming
tienvx/mbt-bundle
A core library for Sicope Model, a Model-Based Testing tool for web application.
vldtecno/PTN-Engine
A Petri net based automation engine.
PetriNets/petrinets.github.io
Petrinet.org interactive playground website
hsluoyz/CPetriNet
A C/C++ PetriNet simulator (aka non-UI CPN Tools)
kyouko-taiga/PetriKit
PetriNet toolset for swift
statebox/ptnet-viewer
Simple Petrinet viewer / simulator...
netgrif/petriflow.js
JavaScript / Typescript library of Petriflow objects
SeekerRook/KarmadaPN
A Python module for modeling Karmada based Multi-Cluster Infrastructures using PetriNets
statebox/purescript-studio
Statebox studio + core + API + REST client
vanrein/perpetuum
Generating event-triggered code from Petri nets [C and Erlang]
albertovalerio/petri-nets-tool-reactjs
A tool to draw Petri Nets and analyze their static and dynamic behavior.
austinjhunt/petrinet-webgme-designstudio
A custom design studio for modeling and simulating distributed systems as Petri (place/transition) Nets, built with JointJS, WebGME, and NodeJS.
sicope-model/sicope-model
Model-Based Testing tool for web application
Viphor/cpn2pn
Transform Coloured Petri Nets in PNML format to equivalent Petri Nets
elh/petri-tlaplus
TLA+ specifications for Petri nets
statebox/tbpt-viewer
Viewer for TPBT representations as Petri nets
alirezakay/petri-net-calc
calculate specifications of a given petri net using the incident matrix in java
JugoliGitHub/pnGraph
a little bit of help for my lecture about petrinets
statebox/idris-stbx-core
Category theoretic semantics of glued open Petri nets in Idris
GABRIELEDB02/Process_mining
Process mining techniques for analyzing business processes and make them more efficient
raxdne/pkg2
Prozess-Ketten-Generator PKG2
statebox/net-viewer
stupid simple net viewer based on d3/cola
willGuimont/petri
Petri Nets in Haskell
przemo8155/magisterka
Graphics Petri Nets and APT GUI
rhnfzl/performance-analysis-of-international-travel-bpic2020
Performance Analysis of submitted International Travel Declarations from the BPIC2020 dataset
salopadlon/School
school projects
stephan-cr/petrinet-rs
Library for petri nets.