petri-net

There are 5 repositories under petri-net topic.

• ing-bank / baker

  Orchestrate microservice-based process flows

  functions-as-a-servicehacktoberfestmicroservicesorchestrationpetri-netscalaserverless
  Language:Scala 350

• rails-engine / flow_core

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

  rubyruby-on-railsworkflow-enginepetri-netautomationrails-enginebusiness-processbpm
  Language:Ruby 186

• hooopo / petri_flow

  Petri Net Workflow Engine for Ruby.

  petri-networkflowpetrinetworkflow-automation
  Language:Ruby 170

• florianv / petrinet

  :traffic_light: Petrinet framework for PHP

  phpworkflowworkflow-enginepetri-net
  Language:PHP 124

• joergen7 / gen_pnet

  library for modeling Petri nets in Erlang

  petri-netotp-libraryerlang
  Language:Erlang 63

• utwente-fmt / ltsmin

  The LTSmin model checking toolset

  model-checkinglinear-temporal-logicmodel-checkercomputation-tree-logicmu-calculuspetri-netpnmlpromeladve
  Language:C 59

• WhiteGL / HSTPNSim

  Using for petri nets simulations

  petri-netpetri-netssimulation
  42

• hlisdero / cargo-check-deadlock

  Find deadlocks in Rust code with Petri net model checking

  model-checkingpetri-netrust
  Language:Rust 41

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

• lip6 / ITSTools

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

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

• joergen7 / gruff

  A basic worker pool manager for Erlang to showcase gen_pnet.

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

• zhoudaxia233 / pyalpha

  A process mining tool written in Python3

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

• aslakhellesoy / petrinet

  Petri Net simulation and diagramming

  petri-netspetrinetpetri-netpetrinets
  Language:Ruby 21
• 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++ 18

• petriflow / petriflow

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

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

• vldtecno / PTN-Engine

  A Petri net based automation engine.

  petri-netstate-machinepetri-netspetrinetpetrilibraryenginec-plus-pluscontrollerevent-drivenfinite-state-machineroboticsstatemachineworkflow-engine
  Language:C++ 16

• bupaverse / heuristicsmineR

  Heuristics Miner in R and integrated with the bupaR framework.

  process-miningheuristics-minerbuparrevent-logpetri-net
  Language:R 14

• tamarit / pn_suite

  A suite of tools for Petri Nets

  analysisaptpetri-netsliceslicing-algorithmtransformation
  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

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

• drahoslove / penego

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

  petri-net
  Language:Go 6

• hlisdero / netcrab

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

  petri-netrust
  Language:Rust 6

• chimenkamp / YAPNE-Yet-Another-Petri-Net-Editor

  A web-based editor and simulator for Petri nets with features for creating, editing, simulating, and analyzing Petri net and data Petri net models.

  bpmmodellingpetri-netprocessdata-petri-nets
  Language:JavaScript 5

• cui-unige / mcc4mcc

  Model Checker Collection for the Model Checking Contest @ Petri nets

  model-checkingpetri-netpnml
  Language:Python 5
• Petri-net-Analysis-Tools

  dbera / Petri-net-Analysis-Tools

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

  petri-netpetri-netsreachability-analysisvisualizationanalysis
  Language:Java 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

• petriflow / petriflow.js

  JavaScript / Typescript library of Petriflow objects

  petriflowjavascripttypescriptworkflowpetri-netspetri-netpetrinet
  Language:TypeScript 5

• SeekerRook / KarmadaPN

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

  cloudkarmadakubernetesmulticlusterpetripetri-netpetri-netspetrinetedge-computing
  Language:Python 5

• axtolm / pm-training-alpha-miner

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

  alpha-minerpetri-netprocess-miningalpha-algorithm
  Language:Python 4

• elh / petri-tlaplus

  TLA+ specifications for Petri nets

  petri-netpetrinettlaplus
  Language:TLA 4

• Gronfi / DPN

  Petri Nets

  delphipetri-netpascal
  Language:Pascal 4

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