// Problem: Nicht nur Nachfolger von cut-off Events mergen sondern das ganze 
// condition marking

print(finitePrefix2PetriNet( finitePrefix( net, true) ));
//print(finitePrefix( net));
//print(net);

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