The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed

With pleasure I remember the visit of Boaz at GMD in Bonn in the early 1980s and at TU Munich in late 1980s as well as long discussions with him in Dagstuhl, and several meetings in Tel Aviv. What a rich source of inspiration! Abstract. The Scholten/Dijkstra “Pebble Game ” is re-examined. We show that the algorithm lends itself to a distributed as well as an online version, and even to a reversed variant. Technically this is achieved by exploiting the local and the reversible nature of Petri Net transitions. Furthermore, these properties allow to retain the verification arguments of the algorithm