Modeling using timed Petri nets - model description and representation

Zuberek, W. M. (1996) Modeling using timed Petri nets - model description and representation. 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 (202kB)


A collection of software tools, TPN-tools, for analysis of timed Petri nets, 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 of analyzed nets, so the integration of different tools is quite straightforward. This report describes the specification of timed Petri net models used by TPN-tools. It discusses the structure of specifications (i.e. the 'input language'), provides several examples of net descriptions, and discusses the internal representation of net models used by the tools. Presented model descriptions are rather 'low-level', and it is expected that a more convenient graphical user interface will be developed (or adopted) at some later time.

Item Type: Report (Technical Report)
Item ID: 14540
Additional Information: MUN-CS Technical report #9601
Department(s): Science, Faculty of > Computer Science
Date: August 1996
Date Type: Publication
Related URLs:

Actions (login required)

View Item View Item


Downloads per month over the past year

View more statistics