|
@@ -11,7 +11,7 @@ Boolean function pn_print(model : Element):
|
|
|
String t
|
|
|
|
|
|
log("Places:")
|
|
|
- all_places = allInstances(model, "Encapsulated_PetriNets/Place")
|
|
|
+ all_places = allInstances(model, "Encapsulated_PetriNet/Place")
|
|
|
while (read_nr_out(all_places) > 0):
|
|
|
place = set_pop(all_places)
|
|
|
name = read_attribute(model, place, "name")
|
|
@@ -20,24 +20,24 @@ Boolean function pn_print(model : Element):
|
|
|
log(((" " + name) + ": ") + cast_v2s(tokens))
|
|
|
|
|
|
log("Transitions:")
|
|
|
- all_places = allInstances(model, "Encapsulated_PetriNets/Transition")
|
|
|
+ all_places = allInstances(model, "Encapsulated_PetriNet/Transition")
|
|
|
while (read_nr_out(all_places) > 0):
|
|
|
place = set_pop(all_places)
|
|
|
name = read_attribute(model, place, "name")
|
|
|
|
|
|
log(" " + name)
|
|
|
|
|
|
- all_t = allIncomingAssociationInstances(model, place, "Encapsulated_PetriNets/P2T")
|
|
|
+ all_t = allIncomingAssociationInstances(model, place, "Encapsulated_PetriNet/P2T")
|
|
|
while (read_nr_out(all_t) > 0):
|
|
|
t = set_pop(all_t)
|
|
|
log(" <-- " + cast_v2s(read_attribute(model, readAssociationSource(model, t), "name")))
|
|
|
- all_t = allOutgoingAssociationInstances(model, place, "Encapsulated_PetriNets/T2P")
|
|
|
+ all_t = allOutgoingAssociationInstances(model, place, "Encapsulated_PetriNet/T2P")
|
|
|
while (read_nr_out(all_t) > 0):
|
|
|
t = set_pop(all_t)
|
|
|
log(" --> " + cast_v2s(read_attribute(model, readAssociationDestination(model, t), "name")))
|
|
|
|
|
|
log("Ports:")
|
|
|
- all_places = allInstances(model, "Encapsulated_PetriNets/Port")
|
|
|
+ all_places = allInstances(model, "Encapsulated_PetriNet/Port")
|
|
|
while (read_nr_out(all_places) > 0):
|
|
|
place = set_pop(all_places)
|
|
|
name = read_attribute(model, place, "name")
|