Titlebook: Application and Theory of Petri Nets and Concurrency; 42nd International C Didier Buchs,Josep Carmona Conference proceedings 2021 Springer

ILEUM

通便

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

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.