An object oriented approach in building an environment for simulation and analysis based on timed Petri nets with multiple execution policies

The paper describes a programming environment based on the timed Petri net paradigm with generally distributed transition firing times and with several execution policies. The user interaction is supported by a X Window-based graphical interface. The graphical editor, which allows both bottom-up and top-down modeling, is based on a hierarchy (toolkit) of graphical objects (widgets). A discrete-event simulator is provided: it is composed by a set of basic simulation objects assembled from the model description. A simulator prototype has been developed using the C++ programming language.