Orchestrate (micro)service-based process flows
Scala
Updated Apr 25, 2019
#
petri-net
Repositories 30
PHP
Updated Mar 3, 2016
library for modeling Petri nets in Erlang
Erlang
Updated Jan 1, 2018
Using for petri nets simulations
Updated Jan 17, 2018
The LTSmin model checking toolset
A basic worker pool manager for Erlang to showcase gen_pnet.
Erlang
Updated Nov 27, 2017
Toolset to capture, simulate, synthesize and verify graph models
interpreted-graph-model
petri-net
signal-transition-graph
asynchronous-circuit
dataflow-structure
conditional-partial-order-graph
digital-timing-diagram
finite-state-machine
finite-state-transducer
policy-net
structured-occurrence-net
xmas-circuit
formal-verification
logic-synthesis
Java
Updated Apr 24, 2019
The jBPT code library is a compendium of technologies that support research on design, execution, and evaluation of b…
process
petri-net
epc
event-driven-process-chain
bpmn
rpst
refined-process-structure-tree
unfolding
untangling
graph
hypergraph
automaton
mdtree
modular-decomposition-tree
behavioral-profile
Java
Updated Feb 18, 2017
A suite of tools for Petri Nets
Erlang
Updated Dec 20, 2018
A multi-formalism, multi-solution model-checker centered on the language GAL
Java
Updated Apr 15, 2019
PetriNet toolset for swift
Swift
Updated Sep 20, 2018
A Petri net based automation engine.
C++
Updated Jan 21, 2019
Petri net library based on Racket threads.
Racket
Updated Jun 8, 2018
Simple Petri net editor and simulator
C++
Updated Oct 7, 2016
Model Checker Collection for the Model Checking Contest @ Petri nets
Python
Updated Oct 31, 2018
Transform Coloured Petri Nets in PNML format to equivalent Petri Nets
Python
Updated Mar 14, 2018
A compiler that automatically generates simulation code (OMNeT++) for analyzing network services specified as Petri n…
Jupyter Notebook
Updated Feb 5, 2019
My experiment upon Petri Net with various library
In-Browser Petri-Net Editor/Simulator
Python
Updated Dec 26, 2018
HPetriSim has a graphical editor which provides basic editing and simulation of Petri Nets.
C++
Updated Apr 12, 2019
ProofOfConcept demoing a smart contract protocol constructed using petri-nets
Go
Updated Jan 2, 2019
Petri net visualisator written in Go. [[ mirror ]]
Go
Updated May 16, 2018
A web application to model and simulate place-/transition nets.
JavaScript
Updated Jan 29, 2019
Hierarchical workflow engine
Python
Updated Sep 14, 2018
The old (original) Petri Net Tool
C++
Updated Dec 30, 2018
Server companion for petri-net-vue app
JavaScript
Updated Jun 21, 2018
Converting Petri nets to finite state automata in the GAP computer algebra system
GAP
Updated Mar 9, 2019
Adaptive_JRRM
C
Updated Nov 13, 2017
It is a expert system which does a Petri Net style resource allocation. This is an academic project done as a part of…
Updated Apr 18, 2017
Orchestrate (micro)service-based process flows