Projects in Awesome Lists tagged with petri-net

https://github.com/ing-bank/baker

Orchestrate microservice-based process flows

functions-as-a-service hacktoberfest microservices orchestration petri-net scala serverless

Last synced: 14 Apr 2025

https://github.com/rails-engine/flow_core

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

automation bpm business-process petri-net rails-engine ruby ruby-on-rails workflow-engine

Last synced: 24 Apr 2025

https://github.com/hooopo/petri_flow

Petri Net Workflow Engine for Ruby.

petri-net petrinet workflow workflow-automation

Last synced: 05 Apr 2025

https://github.com/florianv/petrinet

:traffic_light: Petrinet framework for PHP

petri-net php workflow workflow-engine

Last synced: 09 Apr 2025

https://github.com/joergen7/gen_pnet

library for modeling Petri nets in Erlang

erlang otp-library petri-net

Last synced: 10 Apr 2025

https://github.com/joergen7/gruff

A basic worker pool manager for Erlang to showcase gen_pnet.

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

Last synced: 10 Apr 2025

https://github.com/lip6/itstools

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

ctl eclipse ltl model-checking model-driven-development petri-net safety

Last synced: 22 Apr 2025

https://github.com/aslakhellesoy/petrinet

Petri Net simulation and diagramming

petri-net petri-nets petrinet petrinets

Last synced: 06 May 2025

https://github.com/zhoudaxia233/pyalpha

A process mining tool written in Python3

alpha-miner data-science petri-net process-mining

Last synced: 15 Dec 2024

https://github.com/netgrif/petriflow

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

language low-code low-code-language petri-net petri-nets workflow workflow-models

Last synced: 28 Feb 2025

https://github.com/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

grafcet graph-event julia max-plus maxplus petri petri-net petri-nets sequential sequential-function-chart timed timed-petri-nets

Last synced: 19 Mar 2025

https://github.com/netgrif/petriflow.js

JavaScript / Typescript library of Petriflow objects

javascript petri-net petri-nets petriflow petrinet typescript workflow

Last synced: 30 Apr 2025

https://github.com/factomproject/ptnet-zkp

Zero Knowledge Proof for Petri-Nets using the circom language

circom petri-net zkp

Last synced: 06 Apr 2025

https://github.com/drahoslove/penego

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

petri-net

Last synced: 06 Apr 2025

https://github.com/byzanteam/workflow_metal

Workflow engine based on PetriNet

petri-net workflow

Last synced: 27 Jan 2025

https://github.com/joergen7/pnet

Petri net library based on Racket threads.

petri-net racket racket-places

Last synced: 03 Mar 2025

https://github.com/factomproject/ptnet-eventstore

Smart contract protocol constructed using pflow Petri-nets

blockchain petri-net protocol state-machine

Last synced: 11 Apr 2025

https://github.com/willguimont/petri

Petri Nets in Haskell

haskell petri-net petri-nets petrinet

Last synced: 09 Apr 2025

https://github.com/factomproject/finite

Finite Smart Contract Protocol

factom petri-net smart-contracts tokenization

Last synced: 11 Apr 2025

https://github.com/firestone82/petrisemaphore

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

latex petri-net semaphore

Last synced: 04 Apr 2025

https://github.com/egri-nagy/pn2a

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

gap petri-net semigroup

Last synced: 01 Apr 2025

https://github.com/chameleontartu/conformancechecker

Solution for Petri Net metrics. BPM course

bpmn petri-net university-of-tartu

Last synced: 19 Feb 2025

https://github.com/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

api-rest bpmn camunda choreography collaboration petri-net