• Description of the TPTPN Simulator
• Techinal Support
• Download Area

Introduction

Timed  Procedural Transition Petri Net (TPTPN) is a Petri net tool for the design and simulation of concurrent and distributed systems.

TPTPN allows the user to:

• Interactively create and manipulate Timed Transition Petri Net - based  model
• Link a  procedure (written in C++ language) to each transition of the model
• Interactively animate the model
• Perform correctness analysis
• Define the Evaluation Parameters by using a defined syntax
• Perform Monte Carlo-based performance simulation
• Visualize the Evaluation Parameters defined before simulation

TPTPN consists of five main components: the graphical Petri Net Editor, the Correctness Analyser, the Procedure Editor, the Performance Evaluation Parameters Editor, the Simulator.

The Graphical Petri Net Editor

The graphical editor allows the user to create and modify a TPTPN in a friendly and intuitive interactive environment.
The following figures shows the interface of the graphical TPTPN editor and an example of TPTPN model.
 
 

The Correctness Analyser

The Analyser verifies only the correctness of the Petri Net model structure.

The Procedure Editor

The TPTPN simulator tools allows the user to link to each timed transition, a procedure written in C++. The procedure is executed by the simulator when the relevant transition is enabled to fire. The procedure may be executed before or after the firing of the transition.
 

The Performance Evaluation Parameters Editor

A simple graphical interface allows to the user to define the evaluation parameters, using a predefined syntax. The following figure shows the graphical interface and an example of the syntax used in the definition of the performance evaluation parameters.

The Simulator

Simulation involves both a step-by-step execution of the Petri net model and a Monte Carlo simulation.
 

Implementation

The implementation of TPTPN was performed in C++ using the MFC classes. Actually only a Windows NT version is available. In the future a multi-platform implementation will be prepared.

Please contact the following persons in order to have technical support:

Prof.S.Cavalieri
Doctor S.Monforte

University of Catania
Faculty of Engineering
Institute of Informatic and Telecommunications
Viale Andrea Doria 6 - 95125 Catania - Italy.

+39 095 738 2362

+39 095 338280   or    +39 095 738 2397