petri-net
There are 90 repositories under petri-net topic.
ing-bank/baker
Orchestrate microservice-based process flows
rails-engine/flow_core
FlowCore is a Rails engine to help you build your automation or business process application.
hooopo/petri_flow
Petri Net Workflow Engine for Ruby.
florianv/petrinet
:traffic_light: Petrinet framework for PHP
joergen7/gen_pnet
library for modeling Petri nets in Erlang
utwente-fmt/ltsmin
The LTSmin model checking toolset
WhiteGL/HSTPNSim
Using for petri nets simulations
jbpt/codebase
The jBPT code library is a compendium of technologies that support research on design, execution, and evaluation of business processes. The library offers a broad range of basis analysis and utility functionality and, due to its open publishing model, can easily be extended.
hlisdero/cargo-check-deadlock
Find deadlocks in Rust code with Petri net model checking
joergen7/gruff
A basic worker pool manager for Erlang to showcase gen_pnet.
lip6/ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL
zhoudaxia233/pyalpha
A process mining tool written in Python3
aslakhellesoy/petrinet
Petri Net simulation and diagramming
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
bupaverse/heuristicsmineR
Heuristics Miner in R and integrated with the bupaR framework.
vldtecno/PTN-Engine
A Petri net based automation engine.
tamarit/pn_suite
A suite of tools for Petri Nets
Uzuul23/HPetriSim
HPetriSim has a graphical editor which provides basic editing and simulation of Petri Nets.
zettdaymond/opulus
Simple Petri net editor and simulator
dalzilio/mcc
High-Level Nets Blaster for the Model-Checking Contest
lambdamikel/PetriNets-CLIM-Demo
A Simple Petri Net Editor and Simulator written in Common Lisp with CLIM (Common Lisp Interface Manager) GUI
kyouko-taiga/PetriKit
PetriNet toolset for swift
drahoslove/penego
Petri net visualisator written in Go. [[ mirror ]]
hlisdero/netcrab
netcrab: A tool suite for creating, visualizing and analizing Petri-Nets made in Rust
Julian-Theis/AVATAR
AdVersarial system vArianT AppRoximation - A novel method to measure the generalization of process models
netgrif/petriflow.js
JavaScript / Typescript library of Petriflow objects
nicolasAmat/Kong
Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).
SeekerRook/KarmadaPN
A Python module for modeling Karmada based Multi-Cluster Infrastructures using PetriNets
cui-unige/mcc4mcc
Model Checker Collection for the Model Checking Contest @ Petri nets
dbera/Petri-net-Analysis-Tools
PnAT tools help you visualize and analyze properties of Petri nets specified in PNML format
FactomProject/ptnet-ZKP
Zero Knowledge Proof for Petri-Nets using the circom language
Gronfi/DPN
Petri Nets
Viphor/cpn2pn
Transform Coloured Petri Nets in PNML format to equivalent Petri Nets
albertovalerio/petri-nets-tool-reactjs
A tool to draw Petri Nets and analyze their static and dynamic behavior.
axtolm/pm-training-alpha-miner
A streamlit web app "Process Mining training" - "Alpha Miner" module