All Categories → No Category → petri-net

Top 6 petri-net open source projects

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.

✭ 26

java TeX graph bpmn process mdtree petri-net automaton hypergraph epc event-driven-process-chain rpst refined-process-structure-tree unfolding untangling modular-decomposition-tree behavioral-profile

A basic worker pool manager for Erlang to showcase gen_pnet.

✭ 23

erlang workers petri-net worker-pool poolboy worker-pool-factory

Using for petri nets simulations

✭ 37

simulation petri-net petri-nets

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

✭ 17

java Promela Xtend perl HTML SMT eclipse ltl safety model-checking petri-net model-driven-development ctl

library for modeling Petri nets in Erlang

✭ 59

erlang petri-net otp-library

heuristicsmineR

Heuristics Miner in R and integrated with the bupaR framework.

✭ 14

r C++event-log petri-net process-mining bupar heuristics-miner

1-6 of 6 petri-net projects