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 syst…