Software for Modeling Distributed Systems Using the Petri Net Apparatus

In this paper, we present new software for modeling distributed systems using the Petri net apparatus. Described main capabilities of software as follows: modeling extended Petri net models, such as nets with inhibitor arcs, priority and timed transitions; building reachability tree; matrix representation of Petri net model; search for invariants; decomposition of Petri net model; calculation of transformation tensor; generating new synthesis Petri net structures. The presented software is being developed using C++/Rust programming languages, Qt framework for Graphical User Interface, Graphviz library for visualization.