Transition based acceptance parallel alrogirthms
System with accepting transitions. There can be multiple accepting edges, node can have accepting and non-accepting incomming edges.
System with accepting transitions. There can be multiple accepting edges, node can have accepting and non-accepting incomming edges.