petri-net

There are 4 repositories under petri-net topic.

• ing-bank / baker

  Orchestrate microservice-based process flows

  petri-netmicroservicesserverlessfunctions-as-a-serviceorchestrationscalahacktoberfest
  Language:Scala 322

• rails-engine / flow_core

  FlowCore is a Rails engine to help you build your automation or business process application.

  automationbpmbusiness-processpetri-netrails-enginerubyruby-on-railsworkflow-engine
  Language:Ruby 172

• hooopo / petri_flow

  Petri Net Workflow Engine for Ruby.

  petri-networkflowpetrinetworkflow-automation
  Language:Ruby 164

• florianv / petrinet

  :traffic_light: Petrinet framework for PHP

  petri-netphpworkflowworkflow-engine
  Language:PHP 122

• joergen7 / gen_pnet

  library for modeling Petri nets in Erlang

  petri-netotp-libraryerlang
  Language:Erlang 63

• utwente-fmt / ltsmin

  The LTSmin model checking toolset

  computation-tree-logicdvelinear-temporal-logicmodel-checkermodel-checkingmu-calculuspetri-netpnmlpromela
  Language:C 51

• WhiteGL / HSTPNSim

  Using for petri nets simulations

  petri-netpetri-netssimulation
  42

• 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.

  processpetri-netepcevent-driven-process-chainbpmnrpstrefined-process-structure-treeunfoldinguntanglinggraphhypergraphautomatonmdtreemodular-decomposition-treebehavioral-profile
  Language:Java 31

• joergen7 / gruff

  A basic worker pool manager for Erlang to showcase gen_pnet.

  erlangpoolboyworker-pool-factoryworkersworker-poolpetri-net
  Language:Erlang 23

• hlisdero / cargo-check-deadlock

  Find deadlocks in Rust code with Petri net model checking

  model-checkingpetri-netrust
  Language:Rust 22

• lip6 / ITSTools

  A multi-formalism, multi-solution model-checker centered on the language GAL

  model-checkingmodel-driven-developmentpetri-netctlltlsafetyeclipse
  Language:Python 22

• zhoudaxia233 / pyalpha

  A process mining tool written in Python3

  alpha-minerprocess-miningdata-sciencepetri-net
  Language:Python 21

• aslakhellesoy / petrinet

  Petri Net simulation and diagramming

  petri-netspetrinetpetri-netpetrinets
  Language:Ruby 20

• netgrif / petriflow

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

  low-codelow-code-languagepetri-netpetri-netsworkflowlanguageworkflow-models
  16

• bupaverse / heuristicsmineR

  Heuristics Miner in R and integrated with the bupaR framework.

  buparevent-logheuristics-minerpetri-netprocess-miningr
  Language:R 14

• vldtecno / PTN-Engine

  A Petri net based automation engine.

  petri-netstate-machinepetri-netspetrinetpetrilibraryenginec-plus-pluscontrollerevent-drivenfinite-state-machineroboticsstatemachineworkflow-engine
  Language:C++ 14
• TimedPetriNetEditor

  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

  petri-netpetri-netspetrigraph-eventmaxplusmax-plusgrafcetjuliasequentialsequential-function-charttimedtimed-petri-nets
  Language:C++ 13

• tamarit / pn_suite

  A suite of tools for Petri Nets

  slicing-algorithmpetri-netsliceaptanalysistransformation
  Language:Erlang 13

• Uzuul23 / HPetriSim

  HPetriSim has a graphical editor which provides basic editing and simulation of Petri Nets.

  cppwindowssimulationpetri-net
  Language:C++ 13

• zettdaymond / opulus

  Simple Petri net editor and simulator

  petri-netqt5c-plus-plusgraphviz
  Language:C++ 12

• dalzilio / mcc

  High-Level Nets Blaster for the Model-Checking Contest

  petri-netpnmlcolored-petri-netsmodel-checkingmodel-checking-contest
  Language:Go 10

• lambdamikel / PetriNets-CLIM-Demo

  A Simple Petri Net Editor and Simulator written in Common Lisp with CLIM (Common Lisp Interface Manager) GUI

  lispcommonlisppetri-netspetri-netlispworksclim
  Language:Common Lisp 9

• kyouko-taiga / PetriKit

  PetriNet toolset for swift

  petri-netpetrinetsimulation
  Language:Swift 8

• Julian-Theis / AVATAR

  AdVersarial system vArianT AppRoximation - A novel method to measure the generalization of process models

  processminingconformancecheckingpetri-netplayoutconformancegeneralizationganssequence-ganartificial-intelligenceneural-networkspythonpm4pyprocess-discoveryvariantsavatarground-truthtrain-variants
  Language:Python 5

• netgrif / petriflow.js

  JavaScript / Typescript library of Petriflow objects

  petriflowjavascripttypescriptworkflowpetri-netspetri-netpetrinet
  Language:TypeScript 5

• nicolasAmat / Kong

  Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).

  petri-netstructural-reductionsreductionsmodel-checkinglinear-algebragraphgraph-algorithm
  Language:Python 5

• cui-unige / mcc4mcc

  Model Checker Collection for the Model Checking Contest @ Petri nets

  model-checkingpetri-netpnml
  Language:Python 4

• drahoslove / penego

  Petri net visualisator written in Go. [[ mirror ]]

  petri-net
  Language:Go 4

• FactomProject / ptnet-ZKP

  Zero Knowledge Proof for Petri-Nets using the circom language

  petri-netcircomzkp
  Language:Shell 4

• hlisdero / netcrab

  netcrab: A tool suite for creating, visualizing and analizing Petri-Nets made in Rust

  petri-netrust
  Language:Rust 4

• Viphor / cpn2pn

  Transform Coloured Petri Nets in PNML format to equivalent Petri Nets

  coloured-petri-netspnmlpetri-netspetrinetpetri-net
  Language:Python 4

• albertovalerio / petri-nets-tool-reactjs

  A tool to draw Petri Nets and analyze their static and dynamic behavior.

  liveness-analysispetri-netpetri-netspetrinetpetrinetsreachability-analysisreactflowreactjsredux-toolkit
  Language:CSS 3

• axtolm / pm-training-alpha-miner

  A streamlit web app "Process Mining training" - "Alpha Miner" module

  alpha-minerpetri-netprocess-miningalpha-algorithm
  Language:Python 3
• Petri-net-Analysis-Tools

  dbera / Petri-net-Analysis-Tools

  PnAT tools help you visualize and analyze properties of Petri nets specified in PNML format

  analysispetri-netpetri-netsreachability-analysisvisualization
  Language:Java 3

• elh / petri-tlaplus

  🕸 TLA+ specifications for Petri nets

  petri-nettlapluspetrinet
  Language:TLA 3

• Gronfi / DPN

  Petri Nets

  delphipetri-netpascal
  Language:Pascal 3