There are 1 repository under discrete-event-systems topic.
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.
Simplest simulation to use non-Exponential transitions
Simulation of discrete event systems
Controller of a smart home using discrete controller synthesis techniques Heptagon/BZR.
PGIA7336 Course - Discrete Event System - Supervisory Control Theory with the Heptagon/BZR compiler.
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.
Tina Petri nets and FlexFact integration
A universal discrete event control system and autonomy toolkit
SoyutNet is a Petri net simulator that uses Python's asyncio task and synchronization utilities as backend.
Python suite for working with discrete event systems
Projeto de Sistemas a Eventos Discretos para via sinalizada utilizando o conceito de Onda Verde