Alessandro Pinto

Constraint-Driven Synthesis of Hyper Petri Nets

Maksym Figat, Alessandro Pinto

This paper addresses the modeling and synthesis of constrained robotic system behaviors using Petri nets (PNs). It investigates how to construct models in which all observable system states satisfy given logical constraints while remaining consistent with executable transition se…Read more