Changes between Version 25 and Version 26 of ReferenceNetsReachabilityGraph

Timestamp:

Jun 3, 2019, 4:24:49 PM (6 years ago)

Author:

9simon

Comment:

Nets with subnets: reword text.

ReferenceNetsReachabilityGraph

@@ -58 +58 @@
 For the inspection of more complicated and nested nets, we turn off the node inscriptions of the reachability graph and instead explore it interactively.
 
-Any node represents the root net instance with a certain marking.
-They can be expanded, which will open a copy of the root net instance in this particular marking.
-This net instance behaves like a simulation step which can be fully inspected, meaning that all nets that this net has a reference of can be explored with their current marking, including, again, nets referenced in this net.
+A graph node represents the root net instance in a certain marking.
+It can be double-clicked, which will open a copy of the root net instance in this particular marking.
+This root net instance may itself contain other net instances as tokens (each in a particular marking).
+In fact, the (marked) net instances in a single graph node can freely contain each other as long as they are reachable from the root net instance.
+They can be interactively explored in the UI starting from the root net instance by double-clicking net instance tokens.
 
-For any firing that happens within a subnet, the edge is labeled with the identifier of the subnet proceeding the transition identifier, whereas transitions in the root net are only labeled with their identifier.
+For any firing that happens within a net instance other than the root net instance, the edge is labeled with the identifier of the net instance proceeding the transition identifier.
 
 === The Producer Consumer Problem