Modeling using timed Petri nets - event-driven simulation

Zuberek, W. M. (1996) Modeling using timed Petri nets - event-driven simulation. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

[img] [English] PDF - Published Version
Available under License Creative Commons Attribution Non-commercial.

Download (230kB)


A collection of software tools for analysis of timed Petri nets, TPN-tools, developed over years of extensions, modifications and redesigns, contains several tools for structural and reachability analysis of net models. As both structural and reachability analyses impose certain restrictions on the class on analyzed nets, a simulation tool, TPNsim, has recently been added to the collection. All these tools use the same (internal) representation of nets, so the integration of different tools is quite straightforward. This report briefly introduces the principle of event-driven simulation, and outlines its implementation in TPNsim. Processing of transition firings, event scheduling and conflict resolutions are discussed in greater detail. Several examples are provided to illustrate the use of model simulations.

Item Type: Report (Technical Report)
Item ID: 14541
Additional Information: MUN-CS Technical Report #9602
Department(s): Science, Faculty of > Computer Science
Date: September 1996
Date Type: Publication
Related URLs:

Actions (login required)

View Item View Item


Downloads per month over the past year

View more statistics