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

fYear

1995

fDate

3-6 Oct 1995

Firstpage

212

Lastpage

213

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Petri Nets and Performance Models, 1995., Proceedings of the Sixth International Workshop on

Conference_Location

Durham, NC

ISSN

1063-6714

Print_ISBN

0-8186-7210-2

Type

conf

DOI

10.1109/PNPM.1995.524334

Filename

524334