Timed Petri nets  definitions, properties, and applications
Zuberek, W.M.
Microelectronics and Reliability, vol.31, no.4, pp.627644, 1991.
Abstract:
In timed Petri nets, the transitions fire in "realtime", i.e., there is
a (deterministic or random) firing time associated with each transition,
the tokens are removed from input places at the beginning of firing,
and are deposited into output places when the firing terminates (they may
be considered as remaining "in" the transitions for the firing time).
Any "state" description of timed nets must thus take into account the
distribution of tokens in places as well as in (firing) transitions, and
the state space of timed nets can be quite different from the space
of reachable markings. Performance analysis of timed nets is based on
stationary probabilities of states. For bounded nets stationary probabilities
are determined from a finite set of simultaneous linear equilibrium equations.
For unbounded nets the state space is infinite, the set of linear equilibrium
equations is also infinite and it must be reduced to a finite set of
nonlinear equations for effective solution. Simple examples illustrate
capabilities of timed Petri net models.
Keywords:
Timed Petri nets, inhibitor arcs, reachability analysis, invariant analysis,
performance analysis.
References:

T. Agerwala, "Putting Petri nets to work"; IEEE Computer,
vol.12, no.12, pp.8594, 1979.

M. Ajmone Marsan, G. Conte, G. Balbo, "A class of generalized stochastic
Petri nets for the performance evaluation of multiprocessor systems";
ACM Trans. on Computer Systems, vol.2, no.2, pp.93122, 1984.

M. Ajmone Marsan, G. Balbo, G. Chiola, G. Conte, "Generalized stochastic
Petri nets revisited: random switches and priorities"; Proc. Int. Workshop
on Petri Nets and Performance Models, Madison WI, pp.4453, 1987.

W. Brauer, W. Reisig, G. Rozenberg (eds.), Advances in Petri Nets
1986 (vol.1: "Petri nets  central models and their properties", vol.2:
"Petri nets  applications and relationship to other models of
concurrency"); Proc. of the Advanced Course, Bad Honnef, 1986;
Lecture Notes in Computer Science 254 and 255, SpringerVerlag 1987.

J.B. Dugan, K.S. Trivedi, R.M. Geist, V.F. Nicola, "Extended stochastic
Petri nets  applications and analysis"; in Performance'84,
E. Gelenbe (ed.), pp.507519, Elsevier 1984.

J.B. Dugan, A. Bobbio, G. Ciardo, K. Trivedi, "The design of a unified
package for the solution of stochastic Petri net models";
Proc. Int. Workshop on Timed Petri Nets, Torino, Italy, pp.613, 1985.

D. Ferrari, Computer systems performance evaluation;
PrenticeHall 1978.

H.J. Genrich, K. Lautenbach, "System modeling with highlevel Petri nets";
Theoretical Computer Science, vol.13, pp.109136, 1981.

M.A. Holliday, M.K. Vernon, "A generalized timed Petri net model for
performance evaluation"; Proc. Int. Workshop on Timed Petri Nets,
Torino, Italy, pp.181190, 1985.

R. Janicki, P.E. Lauer, M. Koutny, R. Devillers, "Concurrent and
maximally concurrent evolution of nonsequential systems"; Theoretical
Computer Science, vol.43, pp.213238, 1986.

K. Jensen, :Highlevel Petri nets";
in Application and Theory of Petri Nets (InformatikFachberichte 66),
Pagnoni A., Rozenberg G. (eds.), pp.166180, SpringerVerlag 1983.

L. Kleinrock, Queueing systems, vol.1: "Theory",
vol.2: "Computer applications"; J. Wiley & Sons 1975, 1976.

P.M. Merlin, D.J. Farber, "Recoverability of communication protocols 
implications of a theoretical study"; IEEE Trans. on Communications,
vol.24, no.9, pp.10361049, 1976.

M.K. Molloy, "Performance analysis using stochastic Petri nets";
IEEE Trans. on Computers, vol.31, no.9, pp.913917, 1982.

T. Murata, "Petri nets  properties, analysis, and applications";
Proc. IEEE, vol.77, no.4, pp.541580, 1989.

M.T. Ozsu, "Modeling and analysis of distributed database concurrency
control algorithms using an extended Petri net formalism:;
IEEE Trans. Software Engineering, vol.11, no.10, pp.12251240, 1985.

J.L. Peterson, Petri net theory and the modeling of systems;
PrenticeHall 1981.

C. Ramchandani, "Analysis of asynchronous concurrent systems by
timed Petri nets"; Project MAC Technical Report MACTR120,
Massachusetts Institute of Technology, Cambridge MA, 1974.

R.R. Razouk, "The derivation of performance expressions for communication
protocols from timed Petri nets"; Computer Communication Review, vol.14,
no.2, pp.210217, 1984.

R.R. Razouk, D.S. Hirschberg, `Tools for efficient analysis of concurrent
software systems"; Proc. SOFTFAIR II  Second Conf. on Software Development
Tools, Techniques and Alternatives, San Francisco CA, pp.192198, 1985.

R.R. Razouk, C.V. Phelphs, "Performance analysis using timed Petri
nets"; in Protocol Specification, Testing, and Verification IV
(Proc. of the IFIP WG 6.1 Fourth Int. Workshop, Skytop Lodge PA, June 1114,
1984); Y. Yemini, R. Strom, S. Yemini (eds.), pp.561576, NorthHolland 1985.

W. Reisig, Petri nets  an introduction (EATCS Monographs on
Theoretical Computer Science 4); SpringerVerlag 1985.

J. Sifakis, "Use of Petri nets for performance evaluation"; in
Measuring, modeling and evaluating computer systems, pp.7593,
NorthHolland 1977.

A.A. Torn, "Simulation nets, a simulation, modeling and validation
tool"; Simulation Journal, vol.45, no.2, pp.7175, 1985.

W.M. Zuberek,
"Mtimed Petri nets, priorities, preemptions, and performance evaluation
of systems"; in Advances in Petri Nets 1985
(Lecture Notes in Computer Science 222), G. Rozenberg (ed.), pp.478498,
Springer Verlag 1986.

W.M. Zuberek,
"Dtimed Petri nets and modelling of timeouts and protocols";
Trans. of the Society for Computer Simulation, vol.4, no.4, pp.331357, 1988.

W.M. Zuberek,
"On generation of state space for timed Petri nets";
Proc. ACM Annual Computer Science Conf., Atlanta GA, pp.239248, 1988.

W.M. Zuberek,
"Timed Petri net models of queueing systems";
Proc. 7th Int. Phoenix Conf. on Computers and Communications,
Scottsdale AZ, pp.324329, 1988.

W.M. Zuberek,
"Performance evaluation using unbounded Petri nets";
Proc. 3rd Int. Workshop on Petri Nets Performance Models, Kyoto, Japan,
pp.180186, 1989.
Available in pdf.