Invariantbased performance analysis of timed Petri net models
Zuberek, W.M.
in: Dependability Engineering and Complex Systems (Advances in
Intelligent Systems and Computing 470), Proc. of the 11th Int. Conf. on
Dependability and Complex Systems (DepCoSRELCOMEX'16), June 27 – July 1, 2016,
Brunow, Poland, ed. W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak,
J. Kacprzyk, pp.595604, SpringerVerlag 2016 (ISBN 978331939638).
Abstract:
In timed Petri nets, temporal properties are associated with transitions as
transition firing times (or occurrence times). For net models which can be
decomposed into a family of place invariants, performance analysis can be
conveniently performed on the basis of its components. The paper presents an
approach to finding place invariants of net models and proposes an incremental
method which, for large models, can significantly reduce the required amount
of computations.
Keywords:
timed Petri nets, place invariants, performance analysis,
incremental model analysis
References:

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

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

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

Jain, R., The art of computer systems performance analysis;
Wiley and Sons 1991.

Krueckeberg, F., Jaxy, M., "Mathematical methods for calculating
invariants in Petri nets"; in: Advances in Petri Nets 1987
(Lecture Notes in Computer Science 266), G. Rozenberg (ed.), pp.104131,
SpringerVerlag 1987.

Martinez, J., Silva, M., "Simple and fast algorithm to obtain all
invariants of a generalized Petri net"; in: Applications and Theory of
Petri Nets (Informatik Fachberichte 52); pp.301310, SpringerVerlag 1982.

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

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

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

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

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

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

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

Wang, J., Timed Petri nets; Kluwer Academic Publ. 1998.

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.

W.M. Zuberek, "Siphonbased verification of
component compatibility"; Proc. 4th Int. Conference on Dependability
of Computer Systems (DepCoS09); Brunow Palace, Poland, pp.123132, 2009.
Available in pdf.