// Date:  2018-05-29
// Author: schaetzc@tf.uni-freiburg.de

// Find out which words are accepted by petri nets. 

assert(accepts(n, [a]));
assert(!isEmpty(n));
assert(!accepts(n, [a b]));
assert(!accepts(n, [c]));

print(n);

PetriNet n = (
  alphabet = {a b c},
  places = {p0 p1 p2 p3},
  transitions = {
    ({p0} a {p1 p2})
    ({p1 p2} b {p1})
    ({p0 p1 p2} c {p3})
  },
  initialMarking = {p0},
  acceptingPlaces = {p2 p3}
);