SeekerRook/KarmadaPN

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

Language: Python - Size: 89.8 KB - Last synced: about 21 hours ago - Pushed: about 22 hours ago - Stars: 0 - Forks: 0

netgrif/petriflow

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

Size: 49.4 MB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 15 - Forks: 3

ing-bank/baker

Orchestrate microservice-based process flows

Language: Scala - Size: 167 MB - Last synced: about 16 hours ago - Pushed: 2 days ago - Stars: 317 - Forks: 84

hooopo/petri_flow

Petri Net Workflow Engine for Ruby.

Language: Ruby - Size: 1.15 MB - Last synced: 2 days ago - Pushed: about 1 year ago - Stars: 162 - Forks: 12

lip6/ITSTools

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

Language: Python - Size: 336 MB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 22 - Forks: 10

vldtecno/PTN-Engine

A Petri net based automation engine.

Language: C++ - Size: 661 KB - Last synced: 4 days ago - Pushed: 5 days ago - Stars: 13 - Forks: 6

hlisdero/cargo-check-deadlock

Find deadlocks in Rust code with Petri net model checking

Language: Rust - Size: 1.76 MB - Last synced: 11 days ago - Pushed: 12 days ago - Stars: 18 - Forks: 1

aabs/petri_net_go

A low level free choice petri net implemented in Go

Language: Shell - Size: 2.34 MB - Last synced: 16 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

rails-engine/flow_core

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

Language: Ruby - Size: 891 KB - Last synced: 5 days ago - Pushed: 10 months ago - Stars: 170 - Forks: 17

willGuimont/petri

Petri Nets in Haskell

Language: Haskell - Size: 66.4 KB - Last synced: 19 days ago - Pushed: 20 days ago - Stars: 0 - Forks: 0

MarcoBendinelli/Renovation-Service-Modeling

Modeling of a sophisticated renovation house service, aiming to streamline the coordination of different workers through APIs and ensure effective communication with clients upon job completion

Language: JavaScript - Size: 4.61 MB - Last synced: 21 days ago - Pushed: 21 days ago - Stars: 0 - Forks: 0

zhoudaxia233/pyalpha

A process mining tool written in Python3

Language: Python - Size: 17.6 KB - Last synced: 25 days ago - Pushed: over 5 years ago - Stars: 19 - Forks: 2

florianv/petrinet

:traffic_light: Petrinet framework for PHP

Language: PHP - Size: 3.35 MB - Last synced: 26 days ago - Pushed: over 3 years ago - Stars: 122 - Forks: 13

joergen7/gen_pnet

library for modeling Petri nets in Erlang

Language: Erlang - Size: 152 KB - Last synced: 1 day ago - Pushed: almost 4 years ago - Stars: 63 - Forks: 4

lgiannantoni/nwn-snakes Fork of fpom/snakes

nwn-snakes is a Petri Net library supporting Nets within Nets modeling. It is a customized version of SNAKES, the Net Algebra Kit for Editors and Simulators developed by Franck Pommereau.

Language: Python - Size: 2.47 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

utwente-fmt/ltsmin

The LTSmin model checking toolset

Language: C - Size: 7.22 MB - Last synced: about 2 months ago - Pushed: 2 months ago - Stars: 49 - Forks: 30

joergen7/gruff

A basic worker pool manager for Erlang to showcase gen_pnet.

Language: Erlang - Size: 809 KB - Last synced: 2 months ago - Pushed: over 6 years ago - Stars: 23 - Forks: 3

ginos1998/pc-rdp-final

Trabajo final de la materia Programacion Concurrente

Language: HTML - Size: 3.95 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 2 - Forks: 0

pFlow-dev/metamodel-rs

build models using Petri-nets with an internal Domain Specific Language (DSL)

Language: Rust - Size: 85.9 KB - Last synced: 7 days ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

elh/petri-tlaplus

🕸 TLA+ specifications for Petri nets

Language: TLA - Size: 1.33 MB - Last synced: 23 days ago - Pushed: 11 months ago - Stars: 3 - Forks: 0

axtolm/pm-training-alpha-miner

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

Language: Python - Size: 33.2 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 2 - Forks: 0

netgrif/petriflow.js

JavaScript / Typescript library of Petriflow objects

Language: TypeScript - Size: 1.07 MB - Last synced: 13 days ago - Pushed: about 1 month ago - Stars: 4 - Forks: 2

Lecrapouille/TimedPetriNetEditor

[Version 0.4.0][Application][Functional] A timed Petri net and graph event editor and simulator combined to (max,+) algebra with wrapped API for Julia lang https://youtu.be/wsiF6u7DNVQ

Language: C++ - Size: 38.7 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 11 - Forks: 0

joergen7/pnet

Petri net library based on Racket threads.

Language: Racket - Size: 313 KB - Last synced: 5 months ago - Pushed: almost 6 years ago - Stars: 2 - Forks: 0

dbera/Petri-net-Analysis-Tools

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

Language: Java - Size: 128 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 2 - Forks: 0

cui-unige/mcc4mcc

Model Checker Collection for the Model Checking Contest @ Petri nets

Language: Python - Size: 6.15 MB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 4 - Forks: 0

aslakhellesoy/petrinet

Petri Net simulation and diagramming

Language: Ruby - Size: 2.59 MB - Last synced: 30 days ago - Pushed: almost 3 years ago - Stars: 18 - Forks: 3

paulfedorow/wfnedit

wfnedit is a simple cross-platform GUI editor for workflow nets.

Language: Java - Size: 488 KB - Last synced: 7 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

dalzilio/mcc

High-Level Nets Blaster for the Model-Checking Contest

Language: Go - Size: 1.17 MB - Last synced: 7 months ago - Pushed: about 1 year ago - Stars: 9 - Forks: 1

nicolasAmat/Kong

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

Language: Python - Size: 1.4 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 5 - Forks: 1

hlisdero/netcrab

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

Language: Rust - Size: 178 KB - Last synced: about 21 hours ago - Pushed: 7 months ago - Stars: 4 - Forks: 1

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.

Language: Java - Size: 202 MB - Last synced: 4 months ago - Pushed: 8 months ago - Stars: 27 - Forks: 16

Viphor/cpn2pn

Transform Coloured Petri Nets in PNML format to equivalent Petri Nets

Language: Python - Size: 20.5 KB - Last synced: 9 months ago - Pushed: about 6 years ago - Stars: 4 - Forks: 1

francescovitale/TokenReplay

Java implementation of the conformance checking algorithm Token Replay

Language: Java - Size: 2.44 MB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

PabloA05/trabajo_final_concurrente

Language: Java - Size: 2.28 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 1 - Forks: 0

zettdaymond/opulus

Simple Petri net editor and simulator

Language: C++ - Size: 747 KB - Last synced: 7 months ago - Pushed: about 3 years ago - Stars: 12 - Forks: 2

drahoslove/penego

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

Language: Go - Size: 900 KB - Last synced: 10 months ago - Pushed: about 6 years ago - Stars: 4 - Forks: 0

ExtraHot/Diplom_WebPetri

Моделировании работы сети Петри

Language: C++ - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

gabriellesantosleandro/Process-Mining-Petri-Net

Jupyter Notebook usando a biblioteca PM4PY ensinando sobre os conceitos básicos sobre Rede de Petri.

Language: Jupyter Notebook - Size: 164 KB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0

albertovalerio/petri-nets-tool-reactjs

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

Language: CSS - Size: 270 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

tuplle/petri4j

Simple Java library for Petri nets

Language: Java - Size: 1.36 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

tamarit/pn_suite

A suite of tools for Petri Nets

Language: Erlang - Size: 117 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 11 - Forks: 2

lambdamikel/PetriNets-CLIM-Demo

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

Language: Common Lisp - Size: 1.91 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 5 - Forks: 1

bupaverse/heuristicsmineR

Heuristics Miner in R and integrated with the bupaR framework.

Language: R - Size: 2.07 MB - Last synced: 16 days ago - Pushed: about 1 year ago - Stars: 14 - Forks: 2

JugoliGitHub/pnGraph

a little bit of help for my lecture about petrinets

Language: Java - Size: 280 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 2 - Forks: 0

AlejoCJaimes/PNetWork-SD

Language: Python - Size: 108 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ivochan/RecirculatingPalletWarehouse

Recirculating pallet warehouse modeling and simulation by a Petri Net, using PIPE2 Editor, TPN Designer and Uppaal software

Language: HTML - Size: 12.6 MB - Last synced: 4 months ago - Pushed: about 2 years ago - Stars: 1 - Forks: 0

CN-UPB/ns-simulation-compiler

A compiler that automatically generates simulation code (OMNeT++) for analyzing network services specified as Petri nets.

Language: Jupyter Notebook - Size: 42.9 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 3 - Forks: 2

andreacrn/business-process-modelling

Repository of Business Process Modelling project

Size: 5.03 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 1

stackdump/gopetri

go library for PetriNet Markup Language

Language: Go - Size: 25.4 KB - Last synced: 24 days ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

Paulwesomee/Process-Mining

A repository to update learning notes and reports, codes and projects about Service substitution based on process mining.

Size: 104 KB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Byzanteam/workflow_metal

Workflow engine based on PetriNet

Language: Elixir - Size: 540 KB - Last synced: 14 days ago - Pushed: 11 months ago - Stars: 2 - Forks: 0

FactomProject/ptnet-ZKP

Zero Knowledge Proof for Petri-Nets using the circom language

Language: Shell - Size: 541 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 4 - Forks: 1

Julian-Theis/AVATAR

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

Language: Python - Size: 757 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 5 - Forks: 2

vykio/java-rdp

Implémentation d'un simulateur de réseaux de Pétri en Java en utilisant Swing principalement

Language: Java - Size: 31 MB - Last synced: 5 months ago - Pushed: over 2 years ago - Stars: 2 - Forks: 2

Gronfi/DPN

Petri Nets

Language: Pascal - Size: 1.32 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 3 - Forks: 3

rubens-lavor/modelagem-de-sistemas

Repositório destinado às atividades da disciplina de Modelagem de Sistemas. UFSC-Joinville.

Size: 435 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

tuplle/petrijs

Simple Petri Net simulator

Language: TypeScript - Size: 191 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

kayalanithinsai/petri-net-tool Fork of kavyanshgangwar/petri-net-tool

A Simple Tool Implementation of Petri-Net

Language: Python - Size: 126 KB - Last synced: 11 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 2

kyouko-taiga/PetriKit

PetriNet toolset for swift

Language: Swift - Size: 31.3 KB - Last synced: 5 days ago - Pushed: over 5 years ago - Stars: 8 - Forks: 4

Patro/my-petri-net

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

Language: JavaScript - Size: 538 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 3 - Forks: 0

FactomProject/ptnet-eventstore

Smart contract protocol constructed using pflow Petri-nets

Language: Go - Size: 575 KB - Last synced: about 1 month ago - Pushed: about 1 year ago - Stars: 2 - Forks: 1

FactomProject/finite

Finite Smart Contract Protocol

Language: Python - Size: 81.1 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

organizachon/petrify

A tool for modeling Petri Nets

Language: TypeScript - Size: 412 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

doliom/basic-petri-net

Basic Petri net implementation with OOP.

Language: Python - Size: 114 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

tatsuhirotsuchiya/bounded-model-checker-for-petri-nets

Bounded model checker for petri nets. It uses a SAT solver. The idea is presented at ATVA 2004.

Language: C - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

brunoperezm/prog_concurrente_tp3

Final work about Petri Nets for Concurrent Programming , FCEFyN, UNC

Language: Java - Size: 1.64 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 1

ZhongXiLu/YAWL

Modelling and Analyzing YAWL in AToMPM

Size: 1.57 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

ChameleonTartu/ConformanceChecker

Solution for Petri Net metrics. BPM course

Language: Java - Size: 34.2 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

egri-nagy/pn2a

Converting Petri nets to finite state automata in the GAP computer algebra system

Language: GAP - Size: 691 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

bekiroguz/baker Fork of ing-bank/baker

Orchestrate (micro)service-based process flows

Language: Scala - Size: 93.6 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

SupraSummus/petriish

Hierarchical workflow engine

Language: Python - Size: 42 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0