Title :
TiPNet: a graphical tool for timed Petri nets
Author :
Liu, Baopu ; Robbi, Anthony
Author_Institution :
Dept. of Electr. & Comput. Eng., New Jersey Inst. of Technol., Newark, NJ, USA
Abstract :
The objective of this effort is to develop a computer tool for drawing, editing and simulating timed Petri nets using object oriented programming (OOP). The developed C++ based Timed Petri Net Simulation Tool, TiPNet, simulates discrete systems with both deterministic and stochastic transitions and immediate transitions. Net debugging and performance result tabulation are built-in. The XView Toolkit is used for building TiPNet´s interactive graphical user interface in compliance with AT&T´s OPENLOOK standard on a Sun workstation running SunOS 4.1.X. Compliance with the XWindow standard makes the developed tool portable to other XWindow systems, and TiPNet can run remotely on a network
Keywords :
Petri nets; discrete event systems; graphical user interfaces; object-oriented programming; parallel programming; performance evaluation; reachability analysis; real-time systems; software packages; C++ based Timed Petri Net Simulation Tool; OPENLOOK standard; Sun workstation; TiPNet; XView Toolkit; XWindow standard; XWindow systems; computer tool; deterministic transitions; discrete systems; graphical tool; interactive graphical user interface; object oriented programming; real-time concurrent systems; stochastic transitions; timed Petri nets; Computational modeling; Computer simulation; Debugging; Graphical user interfaces; Object oriented modeling; Object oriented programming; Petri nets; Stochastic systems; Sun; Workstations;
Conference_Titel :
Petri Nets and Performance Models, 1995., Proceedings of the Sixth International Workshop on
Conference_Location :
Durham, NC
Print_ISBN :
0-8186-7210-2
DOI :
10.1109/PNPM.1995.524334
