A C++-17 library that takes a Petri net and turns it into a program. This is done by mapping transitions to functions and calling the functions for which their transition counterpart is fireable. Petri nets are a graphical language that naturally can model concurrent and distributed systems (wikipedia).
The graph below represents a Petri net. The transitions bar
is fireable, and if it would fire it would consume the token (โ) and produce two new tokens in the output places. These new tokens would enable foo
and the cycle would continue for ever, while accumelating tokens in the most left place.
graph LR
classDef inactive fill:#ffc0;
classDef active fill:#0050cb;
classDef fake_tok_place color:#ffc0;
classDef place color:#00c0cb;
B-->D[foo]:::inactive;
Z(("#9679;")):::place-->A
A[bar]:::active-->B(("#9679;" )):::fake_tok_place;
A-->C(("#9679;")):::fake_tok_place;
C-->D;
D-->Z
D-->B;
This Petri net can be described using Symmetri:
using namespace symmetri;
Net net = {{"foo",
{{{"B", Color::Success}, {"C", Color::Success}},
{{"Z", Color::Success}, {"B", Color::Success}}}},
{"bar",
{{{"Z", Color::Success}},
{{"B", Color::Success}, {"C", Color::Success}}}}};
Marking initial = {{"Z", Color::Success}};
Marking goal = {};
auto task_system = std::make_shared<TaskSystem>(4);
PetriNet app(net, "test_net_without_end", pool, initial, goal);
app.registerCallback("foo", &foo);
app.registerCallback("bar", &bar);
auto result = fire(app); // run until done.
auto log = getLog(app); // get the event log
net
is a multiset description of a Petri netinitial
is the initial token distribution (also known as initial marking)goal
is the goal marking, the net terminates if this is reachedtask_system
is a simple SPMC-queue based based threadpool&foo
and&bar
are user-supplied Callbacksapp
is all the ingredients put together - creating something that can be fired! it outputs a result (res
) and at all times an event log can be queried
Clone the repository and make sure you also initialize the submodules:
git clone https://github.com/thorstink/Symmetri.git
git submodule update --init --recursive
mkdir build
cd build
# Debug build without sanitizers
cmake -DCMAKE_BUILD_TYPE=Debug -DBUILD_EXAMPLES=ON -DBUILD_TESTING=ON -DASAN_BUILD=OFF -DTSAN_BUILD=OFF ..
# Building and running tests:
make && make test
# assumes you build the examples
# finishes by reaching the final marking (e.g. completed). Use keyboard to interact pause/resume/cancel/print log
./build/examples/flight/symmetri_flight nets/PT1.pnml nets/PT2.pnml nets/PT3.pnml
Some details on the implementation.
Still in alpha! Improving as we go. None the less, Symmetri is already being used in industry ;-). Feel free to contact me if you are curious or have questions.