From 5d0380d512f1a65fc19cb2a472360bdfb6002dc6 Mon Sep 17 00:00:00 2001 From: Thomas Horstink Date: Mon, 6 Nov 2023 20:15:52 +0100 Subject: [PATCH] update readme --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 249cec2..047e946 100644 --- a/README.md +++ b/README.md @@ -30,11 +30,12 @@ Net net = {{"foo", {{"B", "C"}, {"Z", "B"}}}, {"bar", {{"Z"}, {"B", "C"}}}}; Store store = {{"foo", &foo}, {"bar", &bar}}; PriorityTable priority = {}; -Marking m0 = {{"Z", 1}, {"B", 0}, {"C", 0}}; +Marking m0 = {{"Z", Color::toString(Color::Success)}}; auto pool = std::make_shared(4); symmetri::PetriNet app(net, m0, {}, store, priority, "test_net_without_end", pool); -auto res = app.fire(); // run until done. +auto result = fire(app); // run until done. +auto log = getLog(app); ``` - `net` is a multiset description of a Petri net