ILEUM
发表于 2025-3-30 11:26:13
http://reply.papertrans.cn/16/1591/159083/159083_51.png
通便
发表于 2025-3-30 14:45:45
Canonical Representations for Direct Generation of Strategies in High-Level Petri Games. It involves the definition of a unique, canonical representation of the reduced Büchi game. This allows us to translate a strategy in the Büchi game directly into a strategy in the Petri game. An implementation applied on six structurally different benchmark families shows in most cases a performance increase for larger state spaces.
Countermand
发表于 2025-3-30 16:42:15
Automatic Synthesis of Transiently Correct Network Updates via Petri Gamesof synthetic and real-world network topologies, we document the efficiency of our approach and compare its performance with state-of-the-art tool NetSynth. Our experiments show that for several networks with up to thousands of nodes, we are able to outperform NetSynth’s update schedule generation.