Adam: Causality-Based Synthesis of Distributed Systems

3 years 7 months ago
Adam: Causality-Based Synthesis of Distributed Systems
Abstract. We present Adam, a tool for the automatic synthesis of distributed systems with multiple concurrent processes. For each process, an individual controller is synthesized that acts on locally available information obtained through synchronization with the environment and with other system processes. Adam is based on Petri games, an extension of Petri nets where each token is a player in a multiplayer game. Adam implements the first symbolic game solving algorithm for Petri games. We report on experience from several case studies with up to 38 system processes.
Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüd
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where CAV
Authors Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog
Comments (0)