Framework that allows the design, execution and analysis of generalized stochastic Petri nets (GSPN). It allows capturing multi-robot problems as a GSPN and simulate the model.
-
Updated
Jan 9, 2023 - Python
Framework that allows the design, execution and analysis of generalized stochastic Petri nets (GSPN). It allows capturing multi-robot problems as a GSPN and simulate the model.
Tina Petri nets and FlexFact integration
Basic operations for deterministic finite automata for supervisory control of discrete event systems. The operations and automata representation in memory are meant to be "fit". The use of the software is easy and only uses python native features.
PGIA7336 Course - Discrete Event System - Supervisory Control Theory with the Heptagon/BZR compiler.
Python suite for working with discrete event systems
SoyutNet is a Petri net simulator that uses Python's asyncio task and synchronization utilities as backend.
Add a description, image, and links to the discrete-event-systems topic page so that developers can more easily learn about it.
To associate your repository with the discrete-event-systems topic, visit your repo's landing page and select "manage topics."