petri-nets

There are 6 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.

  rails-engineworkflow-engineworkflowpetri-netsrails
  Language:Ruby 168

• workcraft / workcraft

  Toolset to capture, simulate, synthesize and verify graph models

  asynccadcircuitedaformal-specificationformal-verificationfsmlogic-synthesispetri-netssimulationstg
  Language:Java 67

• WhiteGL / HSTPNSim

  Using for petri nets simulations

  petri-netpetri-netssimulation
  42

• Julian-Theis / PyDREAM

  Python Implementation of Decay Replay Mining (DREAM)

  processminingpetri-netseventlogspython3pm4pyprocessmodelsprocess-miningdata-sciencemachine-learningdeep-learningdata-miningdecay-replayxespredictiondiscrete-eventevents
  Language:Python 27

• nicolasAmat / SMPT

  SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

  petri-netsmodel-checkerreachabilityreachability-analysismodel-checkingsmtsatsmt-solvingreductionsstructural-reductionsabstractionlinear-algebra
  Language:Python 27

• netgrif / application-engine

  Workflow management system fully supporting low-code language Petriflow.

  javaworkflowlow-codewmspetriflowpetri-netsinformation-systemsnetgrif
  Language:Java 24

• thorstink / Symmetri

  Parses a Petri net and runs it

  petri-nets
  Language:C++ 24

• lmkr / cpnbook

  Homepage for the Coloured Petri Nets book

  colouredpetri-netsmodel-driven-engineeringdistributed-systemsconcurrent-systemsprotocols
  22

• aslakhellesoy / petrinet

  Petri Net simulation and diagramming

  petri-netspetrinetpetri-netpetrinets
  Language:Ruby 21

• lambdamikel / GenEd

  An Editor with Generic Semantics for Formal Reasoning About Visual Notations

  common-lispcommonlisplispclimaidescription-logicsclassicvisual-formalismsvisual-languagespetri-netser-diagramsstate-machinesvisual-parsingclassificationrcc-relationslispworks
  Language:Common Lisp 19
• 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++ 17

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

• cesaro / cunf

  A model checker for safe Petri nets based on partial-order semantics

  concurrencyformal-verificationmodel-checkingpartial-order-reductionpetri-netsplanningunfolding
  Language:C++ 13

• bpogroup / simpn

  SimPN (Simulation with Petri Nets) is a package for discrete event simulation in Python.

  petri-netssimulation
  Language:Python 12

• 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

  brauercospanen-algebrafrobenius-algebrashypergraphmonoidmonoidal-categoriesoperadpetri-netsspansymmetric-monoidal-categoriestemperley-lieb
  Language:Rust 11
• DistributedWorkflows.jl

  FiroozehDastur / DistributedWorkflows.jl

  A Julia interface to a distributed task-based workflow management system

  computer-algebra-systemdistributed-computinghpcjulia-packageparallel-computingpetri-netsworkflowsdistributed-workflowjulia-parallelparallel-workflow
  Language:Julia 11

• jo-chr / pyspn

  A lightweight tool for modeling and simulation of Stochastic Petri Nets (SPNs).

  modeling-and-simulationstochastic-petri-netspetri-nets
  Language:Python 11

• iml130 / pfdl

  A Production Flow Description Language for an Order-Centric Production

  order-controlled-productiondomain-specific-languageindustry-40antlr4-grammarantlr4-python3petri-netspython3schedulertasksdescription-languageproductionindustry-4python
  Language:Python 9

• 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

• 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

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

  petri-netsstochastic-petri-netsdiscrete-event-systemsanalysisctmcroboticsrosmulti-robot
  Language:Python 7

• Cobord / OpenMarkov-PetriNet-RxnNet

  Open Markov Proceses as TensorFlow objects, Petri Nets and Chemical Rxn Nets in Haskell

  markovtensorflow-modelsdouble-categoryapplied-category-theoryevolutionary-graph-theoryreaction-networkpetri-nets
  Language:Jupyter Notebook 7

• netgrif / nae-backend-application-starter

  Backend Starter project for Netgrif Application Engine

  javaworkflowpetri-netspetriflowspring-bootspringnetgrif
  Language:Java 7

• thenanisore / petri-net-editor

  A minimalist Petri net editor.

  csharpgraph-algorithmspetri-netswpf
  Language:C# 7

• asminer / smart

  Stochastic Model-checking Analyzer for Reliability and Timing

  markov-chainpetri-netsmodel-checkingctlpctl
  Language:C++ 6

• cbrinkrolf / VANESA

  Modeling and simulation of biological networks using automatic transformation to Petri nets (HFPN / xHPN)

  biological-networksmodeling-and-simulationpetri-netssystems-biology
  Language:Java 6

• 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

  petri-netspnmltina
  Language:Go 6

• giannkas / ecofolder

  Ecofolder is a sotware for unfolding Petri nets with resets according to the McMillan and the Esparza/Römer/Vogler unfolding algorithms.

  petri-netsunfoldingsconcurrency
  Language:Classic ASP 6
• 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

• lukoerfer / simple-pnml-dotnet

  Simple .NET implementation of the Petri Net Markup Language (PNML), limited to Place-Transition-(PT)-Nets

  csharpdotnetpetri-netspnml
  Language:C# 5

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

• dragan-clapp-creator / Visual-CLApp-Editor

  Editor for the CLApp language giving the possibility of creating flow chart projects and export them to run them in a standalone mode.

  activity-diagramcolored-petri-netsgrafcetpetri-netssfcvisual-editorweighted-petri-nets
  Language:Java 4

• Patro / my-petri-net

  A web application to model and simulate place-/transition nets.

  petri-netspetri-net
  Language:JavaScript 4

• Viphor / cpn2pn

  Transform Coloured Petri Nets in PNML format to equivalent Petri Nets

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