Constraint-Driven Synthesis of Hyper Petri Nets

Published July 27, 2026 · Category: Robotics

Overview

arXiv:2607.22062v1 Announce Type: cross Abstract: 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 semantics. To answer this, we introduce the Hyper Petri Net (HyPN) approach, which synthesizes Petri nets from Boolean specifications while explicitly distinguishing between observable markings and underlying Petri net execution. The proposed method introduces an explicit execution semantics over observable states, induced by admissible (atomic) firing sequences, ensuring by construction that all observable markings satisfy the constraints and revealing a fundamental mismatch between logical feasibility and executable behavior. This is demonstrated in two scenarios inspired by a lunar rover system. These results are particularly relevant for the design of robotic and autonomous systems, as they provide a structured way to ensure correct system configurations while explicitly accounting for execution constraints. The proposed framework further suggests new research directions in execution abstraction, admissible transition systems, and policy selection for navigating between constraint-satisfying states.

Source

Originally published at arxiv.org.

Related Articles

• Embodying Multi-Hand Manipulation Policies by Searching the Assignment and Null Spaces
• Robot Learning to Communicate through Projected Visual Abstractions
• StARS: Socially Appropriate Robot Actions via a Recommender System-Driven Approach