@inproceedings{2358a6b993d741b18544dc8bd10d3d02,
title = "Operational analysis of timed Petri nets and application to the computation of performance bounds",
abstract = "Operational analysis techniques are used to partially characterize the behavior of timed Petri nets under very weak assumptions on their timing semantics. New operational inequalities are derived that are typical of the presence of synchronization and that were therefore not considered in queuing network models. An interesting application of the operational laws to the statement and the efficient solution of problems related to the estimation of performance bounds insensitive to the timing probability distributions is shown. The results obtained generalize and improve in a clear setting results that were derived in the last few years for several different subclasses of timed Petri nets. In particular, the extension to well-formed colored nets appears straightforward and allows an efficient exploitation of model symmetries.",
author = "G. Chiola and C. Anglano and J. Campos and Colom, \{J. M.\} and M. Silva",
note = "Publisher Copyright: {\textcopyright} 1993 IEEE.; 5th International Workshop on Petri Nets and Performance Models, PNPM 1993 ; Conference date: 19-10-1993 Through 22-10-1993",
year = "1993",
doi = "10.1109/PNPM.1993.393428",
language = "English",
series = "Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "128--137",
booktitle = "Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993",
address = "United States",
}