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

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.

• Type: Conference
• Year: 2008
• Where: BIRTHDAY
• Authors: Wolfgang Reisig
• Keywords: Applied Computing, BIRTHDAY 2008, Pebble Game, Petri Net Transitions, Reversed Variant