Changes between Version 27 and Version 28 of ReferenceNetsReachabilityGraph

Timestamp:

Jun 3, 2019, 4:51:32 PM (6 years ago)

Author:

9simon

Comment:

--

ReferenceNetsReachabilityGraph

@@ -115 +115 @@
 A proposed solution to this discrepancy is the feature to abstract certain nets or parts of their markings.
 The result is a folded reachability graph, where nodes that only differ in a marking of places that are flagged as "ignore" are folded into a single node.
-It is important to maintain the flexibility to flag only certain subnets, since in many cases, some subnets' behavior should be fully represented in the reachability graph, while other's should not.
+It is important to maintain the flexibility to flag only certain subnets, since in many cases, some subnets' behavior should be fully represented in the reachability graph, while others' should not.