Movatterモバイル変換

Skip to content

#

petri-nets

Here are 140 public repositories matching this topic...

Language:All

Filter by language

All140 Java35 Python25 C++10 Jupyter Notebook10 TypeScript9 JavaScript5 TeX5 HTML4 Rust4 C#3

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

rails-engine /workflow_core

[Deprecated, use flor_core instead] A Rails engine which providing essential infrastructure of workflow. It's based on Workflow Nets.

rails workflow rails-engine workflow-engine petri-nets

UpdatedMay 22, 2020
Ruby

workcraft /workcraft

Toolset to capture, simulate, synthesize and verify graph models

fsm async simulation eda cad petri-nets circuit formal-verification logic-synthesis stg formal-specification

UpdatedMar 12, 2025
Java

WhiteGL /HSTPNSim

Using for petri nets simulations

simulation petri-net petri-nets

UpdatedJan 17, 2018

nicolasAmat /SMPT

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

linear-algebra reachability abstraction model-checking petri-nets smt model-checker sat reductions reachability-analysis structural-reductions smt-solving

UpdatedNov 14, 2023
Python

Julian-Theis /PyDREAM

Python Implementation of Decay Replay Mining (DREAM)

events data-science machine-learning data-mining deep-learning prediction python3 processmining petri-nets discrete-event process-mining eventlogs xes pm4py processmodels decay-replay

UpdatedDec 8, 2022
Python

thorstink /Symmetri

Parses a Petri net and runs it

UpdatedFeb 23, 2025
C++

netgrif /application-engine

Workflow management system fully supporting low-code language Petriflow.

java workflow wms petri-nets information-systems low-code netgrif petriflow

UpdatedMar 18, 2025
Java

aslakhellesoy /petrinet

Petri Net simulation and diagramming

petri-net petrinet petri-nets petrinets

UpdatedMay 20, 2021
Ruby

lambdamikel /GenEd

An Editor with Generic Semantics for Formal Reasoning About Visual Notations

lisp ai common-lisp classic classification petri-nets state-machines description-logics clim commonlisp visual-languages lispworks er-diagrams visual-formalisms visual-parsing rcc-relations

UpdatedMar 13, 2021
Common Lisp

lmkr /cpnbook

Homepage for the Coloured Petri Nets book

distributed-systems petri-nets protocols model-driven-engineering concurrent-systems coloured

UpdatedJun 23, 2019

netgrif /petriflow

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

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

UpdatedMar 11, 2025

TimedPetriNetEditor

Lecrapouille /TimedPetriNetEditor

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

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

UpdatedJul 18, 2024
C++

vldtecno /PTN-Engine

A Petri net based automation engine.

c-plus-plus library state-machine robotics controller engine workflow-engine event-driven finite-state-machine petri petri-net petrinet petri-nets statemachine

UpdatedMay 26, 2024
C++

cesaro /cunf

A model checker for safe Petri nets based on partial-order semantics

concurrency planning model-checking petri-nets formal-verification unfolding partial-order-reduction

UpdatedNov 30, 2020
C++

bpogroup /simpn

SimPN (Simulation with Petri Nets) is a package for discrete event simulation in Python.

simulation petri-nets

UpdatedMar 16, 2025
Python

Cobord /Hypergraph

Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, operads and nicely presented monoids

monoid petri-nets span hypergraph symmetric-monoidal-categories operad monoidal-categories frobenius-algebras cospan temperley-lieb brauer en-algebra

UpdatedOct 12, 2024
Rust

jo-chr /pyspn

A lightweight tool for modeling and simulation of Stochastic Petri Nets (SPNs).

petri-nets stochastic-petri-nets modeling-and-simulation

UpdatedMar 14, 2025
Python

lambdamikel /PetriNets-CLIM-Demo

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

lisp petri-net petri-nets clim commonlisp lispworks

UpdatedMar 24, 2021
Common Lisp

iml130 /pfdl

A Production Flow Description Language for an Order-Centric Production

python scheduler production tasks python3 description-language petri-nets domain-specific-language industry-4 antlr4-grammar antlr4-python3 industry-40 order-controlled-production

UpdatedJan 27, 2025
Python

DistributedWorkflows.jl

FiroozehDastur /DistributedWorkflows.jl

A Julia interface to a distributed task-based workflow management system

hpc parallel-computing distributed-computing petri-nets workflows computer-algebra-system julia-package distributed-workflow parallel-workflow julia-parallel

UpdatedMar 9, 2025
Julia

Improve this page

Add a description, image, and links to thepetri-nets 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 thepetri-nets topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp