// Author: heizmann@informatik.uni-freiburg.de
// Date:  2020-02-20
//
//

PetriNet res = removeRedundantFlow(net);
print(res);

PetriNet net = (
  alphabet = {a b c},
  places = {p0 p1 p2 q0 q1 q2 q3},
  transitions = {
    ({p0 q0} c {p0 q0}) 
    ({p0} a {p1}) 
    ({p1} a {p0}) 
    ({q0} b {q1}) 
    ({q1} b {q0})},
  initialMarking = {p0 q0},
  acceptingPlaces = {p0 q0}
);