#

petri-net

Here are 90 public repositories matching this topic...

m-arslan-hafeez / PetriNetProcessingUserInput1

I've tested a Petri Net algorithm with user input, confirming its reliability with random values. It's proven effective for modeling complex systems and resource management.

testing cpp input-method user-interface petri-net values slnproj

Updated Oct 30, 2023
C++

cui-unige / mcc4mcc

Model Checker Collection for the Model Checking Contest @ Petri nets

model-checking petri-net pnml

Updated Oct 31, 2018
Python

m-arslan-hafeez / TestPetriNet

I've rigorously tested a Petri Net algorithm with random values, confirming its efficiency and reliability for modeling complex systems and resource management.

cpp tests petri-net cpp-programming slnproj

Updated Oct 30, 2023
C++

xsk07 / Customs-Export-Process

Implementation of the BPM lifecycle of a Customs Export Process

bpmn event-log petri-net bpm customs process-model process-management process-mining process-modeling business-process-management process-automation rpa robotic-process-automation

Updated Aug 10, 2024
CSS

doliom / basic-petri-net

Basic Petri net implementation with OOP.

system modeling petri-net

Updated Nov 4, 2020
Python

JugoliGitHub / pnGraph

a little bit of help for my lecture about petrinets

petri-net petrinet petri-nets petrinets

Updated Feb 17, 2021
Java

PabloA05 / trabajo_final_concurrente

java thread petri-net

Updated Sep 29, 2023
Java

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.

deadlock model-checking petri-net sat sat-solving bounded-model-checkin

Updated Dec 26, 2018
C

Patro / my-petri-net

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

petri-net petri-nets

Updated Jan 29, 2019
JavaScript

mariuscrsn / Petri-Net-Distributed-Simulator

A distributed and conservative Petri net simulator

distributed-systems simulator petri-net petri-nets conservative distributed-simulations

Updated Feb 1, 2021
Go

AlejoCJaimes / PNetWork-SD

python3 petri-net petri-nets process-mining

Updated Oct 4, 2022
Python

Byzanteam / workflow_metal

Workflow engine based on PetriNet

workflow petri-net

Updated Jun 17, 2023
Elixir

ChameleonTartu / ConformanceChecker

Solution for Petri Net metrics. BPM course

bpmn petri-net university-of-tartu

Updated Oct 21, 2019
Java

Paulwesomee / Process-Mining

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

petri-net process-mining service-substitution

Updated Jul 18, 2022

ginos1998 / pc-rdp-final

Trabajo final de la materia Programacion Concurrente

java concurrent-programming java-8 petri-net

Updated Jun 30, 2024
HTML

axtolm / pm-training-alpha-miner

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

petri-net process-mining alpha-miner alpha-algorithm

Updated Feb 20, 2024
Python

stackdump / gopetri

go library for PetriNet Markup Language

simulation petri-net pnml

Updated Dec 20, 2018
Go

FactomProject / finite

Finite Smart Contract Protocol

smart-contracts petri-net tokenization factom

Updated Nov 3, 2019
Python

organizachon / petrify

A tool for modeling Petri Nets

react npm typescript petri petri-net petri-nets petrinets

Updated Nov 16, 2020
TypeScript

SupraSummus / petriish

Hierarchical workflow engine

workflow-engine petri-net

Updated Sep 14, 2018
Python

Improve this page

Add a description, image, and links to the petri-net topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the petri-net topic, visit your repo's landing page and select "manage topics."