Petri Net Fragments
Use fragments of nets, bounded by entry & exit transitions
- behaviour between entry and exit represents a single more abstract transition;
- time of the more abstract transition is the time from entry to a causally linked exit;
- forks and joins allowed, but must match, yielding just one exit for each entry;
- there may be a number of named entry points.