|
|
@@ -427,19 +427,19 @@ Element function test_simple_petrinet1(root:Element):
|
|
|
instantiate_node(my_model, "Place", "p1")
|
|
|
instantiate_attribute(my_model, "p1","tokens",1)
|
|
|
// init link1
|
|
|
- instantiate_link(my_model, "P2T", "l1", "p1", "t1")
|
|
|
- instantiate_attribute(my_model, "l1", "weight", 1)
|
|
|
+ instantiate_link(my_model, "P2T", "p1_to_t1", "p1", "t1")
|
|
|
+ instantiate_attribute(my_model, "p1_to_t1", "weight", 1)
|
|
|
//init p2
|
|
|
instantiate_node(my_model, "Place", "p2")
|
|
|
instantiate_attribute(my_model, "p2","tokens",0)
|
|
|
//init link2
|
|
|
- instantiate_link(my_model, "T2P", "l2", "p1", "t1")
|
|
|
- instantiate_attribute(my_model, "l2", "weight", 2)
|
|
|
+ instantiate_link(my_model, "T2P", "t1_to_p2", "t1", "p2")
|
|
|
+ instantiate_attribute(my_model, "t1_to_p2", "weight", 2)
|
|
|
//init t2
|
|
|
instantiate_node(my_model, "Transition", "t2")
|
|
|
//init link3
|
|
|
- instantiate_link(my_model, "T2P", "l3", "p1", "t1")
|
|
|
- instantiate_attribute(my_model, "l3", "weight", 1)
|
|
|
+ instantiate_link(my_model, "P2T", "p2_to_t2", "p2", "t2")
|
|
|
+ instantiate_attribute(my_model, "p2_to_t2", "weight", 1)
|
|
|
|
|
|
|
|
|
return my_model
|