Changes between Version 9 and Version 10 of ReferenceNetsReachabilityGraph
- Timestamp:
- May 3, 2019, 8:06:33 PM (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ReferenceNetsReachabilityGraph
v9 v10 75 75 ''Note: The ids of the net instances in the inspection differ from the ids in the reachability graph, because they were inspected in a later simulation.'' 76 76 ''Within a single execution of the plugin the ids do not differ.'' 77 === Example 2