Constraint-Driven Synthesis of Hyper Petri Nets
约束驱动的超Petri网合成
机构 * Warsaw University of Technology（华沙技术大学） ； NASA Jet Propulsion Laboratory（美国宇航局喷气推进实验室） ； California Institute of Technology（加州理工学院）
AI总结 研究用Petri网对受约束机器人系统行为建模与合成，提出超Petri网方法从布尔规范合成Petri网，明确可观测标识与执行语义，通过两个场景证明该方法，为系统设计提供结构化方式并提出新研究方向。
Comments 14 pages, 12 figures
