petri-net | Topic | Ecosyste.ms: Repos

Topic: "petri-net"

ing-bank/baker

Orchestrate microservice-based process flows

Language: Scala - Size: 167 MB - Last synced at: 10 days ago - Pushed at: 30 days ago - Stars: 342 - Forks: 83

rails-engine/flow_core

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

Language: Ruby - Size: 906 KB - Last synced at: about 10 hours ago - Pushed at: 7 months ago - Stars: 180 - Forks: 22

hooopo/petri_flow

Petri Net Workflow Engine for Ruby.

Language: Ruby - Size: 1.15 MB - Last synced at: 14 days ago - Pushed at: about 2 years ago - Stars: 169 - Forks: 11

florianv/petrinet

:traffic_light: Petrinet framework for PHP

Language: PHP - Size: 3.35 MB - Last synced at: 15 days ago - Pushed at: about 4 years ago - Stars: 123 - Forks: 14

joergen7/gen_pnet

library for modeling Petri nets in Erlang

Language: Erlang - Size: 166 KB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 64 - Forks: 4

utwente-fmt/ltsmin

The LTSmin model checking toolset

Language: C - Size: 7.43 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 52 - Forks: 30

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: 329 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 32 - Forks: 17

hlisdero/cargo-check-deadlock

Find deadlocks in Rust code with Petri net model checking

Language: Rust - Size: 1.78 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 28 - Forks: 0

lip6/ITSTools

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

Language: Python - Size: 624 MB - Last synced at: 3 days ago - Pushed at: 9 days ago - Stars: 24 - Forks: 12

joergen7/gruff

A basic worker pool manager for Erlang to showcase gen_pnet.

Language: Erlang - Size: 815 KB - Last synced at: 14 days ago - Pushed at: 3 months ago - Stars: 24 - Forks: 3

zhoudaxia233/pyalpha

A process mining tool written in Python3

Language: Python - Size: 17.6 KB - Last synced at: 4 days ago - Pushed at: over 6 years ago - Stars: 21 - Forks: 2

aslakhellesoy/petrinet

Petri Net simulation and diagramming

Language: Ruby - Size: 2.59 MB - Last synced at: 15 days ago - Pushed at: almost 4 years ago - Stars: 20 - Forks: 3

netgrif/petriflow

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

Size: 49.5 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 17 - Forks: 3

bupaverse/heuristicsmineR

Heuristics Miner in R and integrated with the bupaR framework.

Language: R - Size: 2.07 MB - Last synced at: 3 days ago - Pushed at: about 2 years ago - Stars: 14 - Forks: 2

vldtecno/PTN-Engine

A Petri net based automation engine.

Language: C++ - Size: 675 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 13 - Forks: 6

zettdaymond/opulus

Simple Petri net editor and simulator

Language: C++ - Size: 747 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 12 - 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 at: over 1 year ago - Pushed at: over 1 year ago - Stars: 11 - Forks: 0

tamarit/pn_suite

A suite of tools for Petri Nets

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

dalzilio/mcc

High-Level Nets Blaster for the Model-Checking Contest

Language: Go - Size: 1.18 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 10 - Forks: 1

kyouko-taiga/PetriKit

PetriNet toolset for swift

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

netgrif/petriflow.js

JavaScript / Typescript library of Petriflow objects

Language: TypeScript - Size: 1.44 MB - Last synced at: 7 days ago - Pushed at: 10 days ago - Stars: 5 - Forks: 2

SeekerRook/KarmadaPN

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

Language: Python - Size: 138 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 5 - Forks: 0

hlisdero/netcrab

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

Language: Rust - Size: 178 KB - Last synced at: 21 days ago - Pushed at: over 1 year ago - Stars: 5 - 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 at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - 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 at: 11 months ago - Pushed at: over 2 years ago - Stars: 5 - 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 at: about 2 years ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 1

FactomProject/ptnet-ZKP

Zero Knowledge Proof for Petri-Nets using the circom language

Language: Shell - Size: 541 KB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1

cui-unige/mcc4mcc

Model Checker Collection for the Model Checking Contest @ Petri nets

Language: Python - Size: 6.15 MB - Last synced at: 7 months ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 0

drahoslove/penego

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

Language: Go - Size: 900 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 0

Viphor/cpn2pn

Transform Coloured Petri Nets in PNML format to equivalent Petri Nets

Language: Python - Size: 20.5 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 4 - Forks: 1

elh/petri-tlaplus

🕸 TLA+ specifications for Petri nets

Language: TLA - Size: 1.33 MB - Last synced at: 12 months ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

Byzanteam/workflow_metal

Workflow engine based on PetriNet

Language: Elixir - Size: 540 KB - Last synced at: 6 days ago - Pushed at: almost 2 years ago - Stars: 3 - 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 at: about 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 2

Gronfi/DPN

Petri Nets

Language: Pascal - Size: 1.32 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 3

Patro/my-petri-net

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

Language: JavaScript - Size: 538 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 0

ginos1998/pc-rdp-final

Trabajo final de la materia Programacion Concurrente

Language: HTML - Size: 4.03 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 2 - 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 at: about 1 year ago - Pushed at: about 1 year 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 at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

FactomProject/ptnet-eventstore

Smart contract protocol constructed using pflow Petri-nets

Language: Go - Size: 575 KB - Last synced at: 13 days ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 1

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 at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 2

JugoliGitHub/pnGraph

a little bit of help for my lecture about petrinets

Language: Java - Size: 280 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 2 - 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 at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

joergen7/pnet

Petri net library based on Racket threads.

Language: Racket - Size: 313 KB - Last synced at: about 2 months ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0

pflow-xyz/metamodel-rs

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

Language: Rust - Size: 208 KB - Last synced at: 18 days ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

xsk07/Customs-Export-Process

BPM lifecycle implementation of the Customs Export Process

Language: CSS - Size: 232 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

francescovitale/token_replay

Java implementation of the token replay conformance checking algorithm

Language: Java - Size: 2.44 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 1

willGuimont/petri

Petri Nets in Haskell

Language: Haskell - Size: 66.4 KB - Last synced at: 19 days ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

PabloA05/trabajo_final_concurrente

Language: Java - Size: 2.28 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - 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 at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 1 - 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 at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

stackdump/gopetri

go library for PetriNet Markup Language

Language: Go - Size: 25.4 KB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

Joseph-Vanliew/PATS

MyPetri is a Petri-Net Place and Transition diagramming tool to accurately capture behaviors of high level distributed systems. Bounded or unbounded.

Language: TypeScript - Size: 33.3 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

MJWootton-Research/Macchiato

Macchiato is a Petri Nets implementation for Python 3 with a focus of usability and scriptability.

Language: Python - Size: 39.8 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0

tuplle/petri4j

Simple Java library for Petri nets

Language: Java - Size: 1.39 MB - Last synced at: 22 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

Firestone82/PetriSemaphore

VŠB-TUO - School project in PES. Semaphore network designed in Petri Net

Language: TeX - Size: 3.72 MB - Last synced at: 20 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

sourceduty/Process_Automation

⚙️ Develop and refine automated process models.

Language: Python - Size: 62.5 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

dmrokan/soyutnet

SoyutNet is a Petri net simulator that uses Python's asyncio task and synchronization utilities as backend.

Language: Python - Size: 511 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

dmrokan/soyutnet-simulations

Hobby open research project which aims to demonstrate the capabilities of PT net (Petri net) based formal methods in improvement of producer/consumer pipelines

Language: Python - Size: 3.75 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

bekiroguz/baker Fork of ing-bank/baker

Orchestrate (micro)service-based process flows

Language: Scala - Size: 98.6 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

izadoraluz/Petri-net-analysis

Simulação e análise de sistemas modelados através de redes de Petri utilizando o software PIPE

Language: PostScript - Size: 825 KB - Last synced at: about 2 months ago - Pushed at: 7 months 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 at: 2 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

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 at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0