|
| next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 1 of 13 found articles
| Title: |
Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays |
| Author: |
Popova-Zeugmann, Louchka Pelz, Elisabeth |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 120 (2012) nr. 3-4 pages 341-357 |
| Year: |
2012-12-03 |
| Contents: |
In this paper we consider Interval-Timed Petri nets (ITPN) which are an extension of Timed Petri nets. They are considered to behave with discrete delays. The class of ITPNs is Turing complete and therefore the reachability of an arbitrary marking in such a net is not decidable. We introduce a time dependent state equation for a firing sequence of ITPNs, which is analogous to the state equation for a firing sequence in standard Petri nets and we prove its correctness using linear algebra. Our result is original and delivers both a necessary condition for reachability and a sufficient condition for non-reachability of an arbitrary marking in an ITPN. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 1 of 13 found articles
| next >> |