|
| << 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 2 van 8 gevonden artikelen
| Titel: |
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets |
| Auteur: |
Ganty, Pierre Raskin, Jean-François Van Begin, Laurent |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 88 (2008) nr. 3 pagina's 275-305 |
| Jaar: |
2008-12-18 |
| Inhoud: |
Current algorithms for the automatic verification of Petri nets suffer from the explosion caused by the high dimensionality of the state spaces of practical examples. In this paper, we develop an abstract interpretation based analysis that reduces the dimensionality of state spaces that are explored during verification. In our approach, the dimensionality is reduced by trying to gather places that may not be important for the property to establish. If the abstraction that is obtained is too coarse, an automatic refinement is performed and a more precise abstraction is obtained. The refinement is computed by taking into account information about the inconclusive analysis. The process is iterated until the property is proved to be true or false. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 2 van 8 gevonden artikelen
| << vorige | volgende >> |
Toegankelijkheidsverklaring