With thorough research in major sciences such as mathematics, physics and chemistry, we shaped the world around us in an attempt to make it safer and more practical with powerful tools. Before designing a project, calculus must be done, with dozens of formulas and expressions used for specific purposes. In this regard,
Hierarchical Petri net Simulator
offers a suitable environment in which to easily analyze concurrent computation.
Running the application brings up a simple interface, cleverly structured to provide sufficient working space, with side panels storing all created elements, as well as corresponding settings. You can work on multiple projects at a time thanks to tab support. What’s more, if you already have stored data under the XML or PNML format, it can easily be imported for further processing or analysis.
Setting up a petri net is easy enough, with places and transitions being created with a single mouse click on the canvas in the desired spot. Setting up arcs, only in one direction is the next step. An arrow displays and connects objects, with the possibility to create custom paths, not simply creating a link between places and transitions.
Furthermore, an object’s characteristics is displayed in a side panel, with the possibility to modify anything from position and name, to technical fields like capacity, initial marking or port direction type. Technical details are only applicable to places, since they are the only objects in a petri net that can store and send such attributes.
At any given time in the creation process, you can fire up the simulation to analyze data flow. A log gathers data as it is processed, but the application also comes equipped with a handful of other analysis tools.
You can build a matrix out of provided data, as well as the possibility to study structural and behavioral properties. In this regard, you can use tools for S and T invariants, reachability or coverability analysis. Reversibility and more. Each tool brings up a dedicated window that quickly displays corresponding info, with the possibility to save data to file.
Taking everything into consideration, we can say that Hierarchical Petri net Simulator is a powerful construction and analysis tools that advanced users can surely put to good use. Accuracy is a key feature, while the intuitive design lets you easily place items and specify attributes for a successful simulation.