An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with petri-nets

A curated list of projects in awesome lists tagged with petri-nets .

https://github.com/netgrif/application-engine

Workflow management system fully supporting low-code language Petriflow.

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

Last synced: 30 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/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/nae-backend-application-starter

Backend Starter project for Netgrif Application Engine

java netgrif petri-nets petriflow spring spring-boot workflow

Last synced: 30 Apr 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/nxsaken/petnat

A Petri net plugin for Bevy Engine.

bevy bevy-engine game-development petri-nets state-machine

Last synced: 11 Feb 2025

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

Angular library of SVG elements for visual representation of Petriflow objects.

angular angular-library npm npm-package petri-nets petriflow svg

Last synced: 18 Mar 2025

https://github.com/alirezakay/petri-net-calc

calculate specifications of a given petri net using the incident matrix in java

characteristics embedded-systems incident-matrix java live matrix petri-nets petrinet realtime safe system

Last synced: 16 Mar 2025

https://github.com/tom-tan/medal

A workflow engine based on Petri nets

petri-nets workflow-engine

Last synced: 27 Mar 2025

https://github.com/netgrif/etask-backend-starter

NAE based process application to help you start creating you own digital environment.

business-processes java nae petri-nets petriflow spring-boot

Last synced: 15 Mar 2025

https://github.com/zejiran/languages-and-machines

Collection of projects made on a language and computation theory course at Universidad de los Andes

abstract-machines automata finite-state-transducers language-processing petri-nets turing-machine uniandes

Last synced: 15 Mar 2025

https://github.com/juncay/petrinet_digitaltwin

Intelligent Sorting Robot DigitalTwin System with Dynamic Petri Net Scheduling

petri-nets reinforcement-learning ros2-humble unity3d

Last synced: 16 Mar 2025

https://github.com/arhik/rotor_craft_availability

Rotor craft's on demand availability estimation using petrinets

availability ondemand petri-nets rotor-craft

Last synced: 19 Feb 2025

https://github.com/willguimont/petri

Petri Nets in Haskell

haskell petri-net petri-nets petrinet

Last synced: 09 Apr 2025

https://github.com/izadoraluz/petri-net-analysis

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

petri petri-net petri-nets

Last synced: 05 Mar 2025

https://github.com/tuplle/micro-petri

Demo project for microservice architecture with Petri nets.

java maven microservices petri-nets reachability-analysis spring spring-boot

Last synced: 05 Apr 2025

https://github.com/tuplle/petrijs

Simple Petri Net simulator

petri-net petri-nets simulation typescript

Last synced: 05 Apr 2025

https://github.com/francoriba/petrinets-case-of-application

Final project for concurrent programming at @FCEFyN, UNC, Argentina.

concurrency invariants multithreading petri-nets time-analysis

Last synced: 28 Feb 2025

https://github.com/eracle/rbroker

This page contains a small technical challenge (and the solution) for Python (Django) developers.

django django-q django-rest-framework petri-nets

Last synced: 03 Mar 2025

https://github.com/netgrif/application-builder

Web app for developing process-driven application in low-code language Petriflow.

angular bpmn low-code netgrif petri-nets petriflow process-oriented webapp

Last synced: 28 Feb 2025

https://github.com/mhawryluk/concurrency-lab

Code from the Theory of Concurrency class at the AGH UST

concurrency csp petri-nets

Last synced: 02 Apr 2025

https://github.com/xstupi00/Theoretical-Assignments

Elaborated projects with theoretical assignments during the master's degree.

automata complexity information-security markov-chain petri-nets statistics storm vut vut-fit

Last synced: 11 Mar 2025

https://github.com/sadevans/analysis-of-petri-nets

Научная исследовательская работа по теме "Разработка инструментов анализа сетей Петри"

mobile-robotics petri-nets

Last synced: 12 Mar 2025

https://github.com/tuplle/petri4j

Simple Java library for Petri nets

java java-library maven petri-net petri-nets

Last synced: 17 Mar 2025