On generation of state space for timed Petri nets

Zuberek, W. M. (1988) On generation of state space for timed Petri nets. In: ACM Annual Computer Science Conference (CSC’88), 23–25 February 1988,, Atlanta, Georgia.

[img] [English] PDF (The version available in this research repository is a postprint. It has the same peer-reviewed content as the published version, but lacks publisher layout and branding.) - Accepted Version
Available under License Creative Commons Attribution Non-commercial.

Download (195kB)


It is shown that the behavior of timed Petri nets with deterministic firing times (D-timed nets) and with exponentially distributed random firing times (M-timed nets) can be described within one uniform formalism. Moreover, for both classes of nets the state spaces are homogeneous semi-Markov chains, the stationary probabilities of states and many performance measures can thus be obtained by standard techniques developed for analysis of Markov processes. Because of scarcity of nets as well as corresponding systems of equilibrium equations, list structure representations are proposed, and a general procedure for generation of the state space is outlined to show the required processing of list structures.

Item Type: Conference or Workshop Item (Paper)
URI: http://research.library.mun.ca/id/eprint/14955
Item ID: 14955
Department(s): Science, Faculty of > Computer Science
Date: February 1988
Date Type: Completion
Digital Object Identifier (DOI): https://doi.org/10.1145/322609.322648
Related URLs:

Actions (login required)

View Item View Item


Downloads per month over the past year

View more statistics