Hierarchical Petri net Simulator

Design and analyze Petri nets
Download

Hierarchical Petri net Simulator Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Freeware
  • Publisher Name:
  • Katsumi Wasaki, Kazuto Ide, Junya Ohta
  • Operating Systems:
  • Windows All
  • File Size:
  • 3.5 MB

Hierarchical Petri net Simulator Tags


Hierarchical Petri net Simulator Description

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.Create data from scratch or import from fileRunning 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. Easy to set up and configure variablesSetting 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. Gather thorough data and save to fileAt 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. To sum it upTaking 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. Reviewed by Mircea Dragomir, last updated on November 7th, 2014


Hierarchical Petri net Simulator Related Software