Zuberek, W. M. (2015) Symbolic Analysis of Timed Petri Nets. In: DepCoS-RELCOMEX 2015, June 29 - July 3, 2015, 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 (129kB) |
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| URI: | http://research.library.mun.ca/id/eprint/14894 |
| Item ID: | 14894 |
| Keywords: | timed Petri nets, symbolic analysis, boundedness, absence of deadlocks, producer–consumer model |
| Department(s): | Science, Faculty of > Computer Science |
| Date: | 2015 |
| Date Type: | Completion |
| Digital Object Identifier (DOI): | https://doi.org/10.1007/978-3-319-19216-1_57 |
| Related URLs: |
Actions (login required)
 |
View Item |
Download statistics
Download statistics