Symbolic analysis of timed Petri nets
Zuberek, W.M.
in: Theory and Engineering of Complex Systems and Dependability
(Advances in Intelligent Systems and Computing 365), Proc. of the 10th Int.
Conf. on Dependability and Complex Systems (DepCoSRELCOMEX'15),
June 29 \ndash; July 3, 2015, Brunow, Poland, ed. W. Zamojski, J.
Mazurkiewicz, J. Sugier, T. Walkowiak, J. Kacprzyk,
SpringerVerlag 2015, pp.595604 (DOI 10.1007/9783319192161_57).
Abstract:
In timed Petri nets temporal properties are associated with transitions as
transition firing times (or occurrence times). Specific properties of timed
nets, such as boundedness or absence of deadlocks, can depend upon temporal
properties and sometimes even a small change of these properties has a
significant effect on the net's behavior (e.g., a bounded net becomes
unbounded or vice versa). The objective of symbolic analysis of timed nets
is to provide information about the net's behavior which is independent of
specific temporal properties, i.e., which describes preperties of the whole
class of timed nets with the same structure.
Keywords:
timed Petri nets, symbolic analysis, boundedness, absence of deadlocks,
producerconsumer model
References:

Ajmone Marsan, M., Conte, G., Balbo, G., "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.

Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.,
Modeling with generalized stochastic Petri nets; Wiley and Sons 1995.

Bause, F., Kritzinger, P.S., Stochastic Petri nets  and introduction
to the theory (2 ed.). Vieweg Verlag 2002.

Girault, C., Valk, R., Petri nets for systems engineering;
SpringerVerlag 2002.

Haggstrom, O., Finite Markov chains and algorithmic applications;
Cambridge Univ. Press 2003.

He, X., Murata, T., "Highlevel Petri nets  extensions, analysis and
applications"; in: The Electrical Engineering Handbook, pp.459475,
Academic Press 2007.

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

PopovaZeugmann, L.: Time and Petri nets; SpringerVerlag 2013.

Proth, J.M., Xie, X., Petri nets; Wiley and Sons 1996.

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

Reisig, W., Understanding Petri nets  modeling techniques, analysis
methods, case studies. SpringerVerlag, 2013.

Robertazzi, T.A., Computer networks and systems: queueing theory and
performance evaluation (3 ed.); SpringerVerlag 2000.

Stewart, W.J., Introduction to the numerical solution of Markov chains;
Princeton University Press 1994.

\bibitem {Wa98}
Wang, J., Timed Petri nets; Kluwer Academic Publ. 1998.

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

Zuberek, W.M., ``Dtimed Petri nets and modelling of timeouts and
protocols'', Transactions of the Society for Computer Simulation,
vol.4, no.4, pp.331357, 1987.
\bibitem {Zu91}
Zuberek, W.M., "Timed Petri nets  definitions,
properties and applications"; Microelectronics and Reliability
(Special Issue on Petri Nets and Related Graph Models), vol.31, no.4,
pp.627644, 1991.

Zuberek, W.M., "Structural methods in performance
analysis of discreteevent systems"; Proc. 9th IEEE Int. Conf. on
Methods and Models in Automation and Robotics, pp.878882, 2003.
Available in pdf.