The Scholten/Dijkstra pebble game played straightly, distributedly, online and reversed

  • Authors:

  • Wolfgang Reisig

  • Affiliations:

  • Department of Computer Science, Humboldt-Universität zu Berlin

  • Venue:
  • Pillars of computer science
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

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.