Zuberek, W. M. (2016) Invariant–based performance analysis of timed Petri net models. In: 11-th Int. Conf. on Dependability of Complex Systems, June 27 - July 1, 2016, Brunów, Poland.
![[img]](https://research.library.mun.ca/style/images/fileicons/application_pdf.png) |
[English]
PDF (The version available in this research repository is a postprint. It has the same peer-reviewed content as the published version, but lacks publisher layout and branding.)
- Accepted Version
Available under License Creative Commons Attribution Non-commercial. Download (124kB) |
Official URL: https://doi.org/978-3-319-39639-2 52
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| URI: | http://research.library.mun.ca/id/eprint/14895 |
| Item ID: | 14895 |
| Keywords: | timed Petri nets, place invariants, performance analysis, incremental model analysis |
| Department(s): | Science, Faculty of > Computer Science |
| Date: | 2016 |
| Date Type: | Completion |
| Digital Object Identifier (DOI): | https://doi.org/978-3-319-39639-2 52 |
| Related URLs: |
Actions (login required)
 |
View Item |
Download statistics
Download statistics