// Date:  6.8.2012
// Author: heizmann@informatik.uni-freiburg.de


print(finitePrefix2PetriNet( finitePrefix( se7en, true) ));


PetriNet se7en = (
  alphabet = {a},
  places = {p0 p1 p2},
  transitions = {
    ({p0} a {p1}) 
    ({p1} a {p2}) 
    ({p2} a {p0}) },
  initialMarking = {p0},
  acceptingPlaces = {p0}
);