Invariant-based 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 11-th Int. Conf. on Dependability and Complex Systems (DepCoS-RELCOMEX'16), June 27 – July 1, 2016, Brunow, Poland, ed. W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak, J. Kacprzyk, pp.595-604, Springer-Verlag 2016 (ISBN 978-3-319-39638).


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.


timed Petri nets, place invariants, performance analysis, incremental model analysis


Available in pdf.