|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 8 van 9 gevonden artikelen
| Titel: |
Using State Equation to Prove Non-Reachability in Timed Petrinets |
| Auteur: |
Louchka Popova-Zeugmann Matthias Werner Jan Richling |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 55 (2003) nr. 2 pagina's 187-202 |
| Jaar: |
2003-10-01 |
| Inhoud: |
Non-reachability proofs in Timed Petrinets were usually done by proving the non-reachability within the underlying timeless net. However, in many cases this approach fails. In this paper, we present an approach to prove non-reachability within the actual Timed Petrinet. For this purpose, we introduce a state equation for Timed Petrinets in analogy to timeless nets. Using this state equation, we can express reachability as a system of equations and inequations, which is solvable in polynomial time. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 8 van 9 gevonden artikelen
| << vorige | volgende >> |