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.

Controller of a smart home using discrete controller synthesis techniques Heptagon/BZR.

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.

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 backend.

A universal discrete event control system and autonomy toolkit