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.
Simulation of discrete event systems
Simplest simulation to use non-Exponential transitions
Code of my course on discrete control synthesis.
Final Project in Control Engineering UFRJ
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.
Controller of a smart home using discrete controller synthesis techniques Heptagon/BZR.
Projeto de Sistemas a Eventos Discretos para via sinalizada utilizando o conceito de Onda Verde
Python suite for working with discrete event systems
SoyutNet is a Petri net simulator that uses Python's asyncio task and synchronization utilities as its backend.
A universal discrete event control system and autonomy toolkit
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."