Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 2 of 8 found articles
 
 
  From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
 
 
Title: From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
Author: Ganty, Pierre
Raskin, Jean-François
Van Begin, Laurent
Appeared in: Fundamenta informaticae
Paging: Volume 88 (2008) nr. 3 pages 275-305
Year: 2008-12-18
Contents: 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.
Publisher: IOS Press
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 2 of 8 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands