|
@@ -206,10 +206,10 @@ class TestPetrinetInterface(unittest.TestCase):
|
|
|
init + new + loaded + \
|
|
|
instantiate_node + prompt + \
|
|
|
attr_add + prompt + \
|
|
|
- list_model([("p1", "Place")]) + prompt + \
|
|
|
+ list_model([("p1", "Place"), ("p1.tokens", "Natural")]) + prompt + \
|
|
|
read_node("p1", "Place", [], [("tokens", "Natural", 5)]) + prompt + \
|
|
|
instantiate_node + prompt + \
|
|
|
- list_model([("p1", "Place"), ("t1", "Transition")]) + prompt + \
|
|
|
+ list_model([("p1", "Place"), ("t1", "Transition"), ("p1.tokens", "Natural")]) + prompt + \
|
|
|
read_node("t1", "Transition", [], []) + prompt,
|
|
|
mode))
|
|
|
|