|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 13 gevonden artikelen
| Titel: |
Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays |
| Auteur: |
Popova-Zeugmann, Louchka Pelz, Elisabeth |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 120 (2012) nr. 3-4 pagina's 341-357 |
| Jaar: |
2012-12-03 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 13 gevonden artikelen
| volgende >> |
Toegankelijkheidsverklaring