Concepedia

Coverability Analysis

Coverability Analysis is a formal method in Petri net theory that determines whether a given marking can be reached or exceeded in the state space of a net, thereby enabling the verification of safety and liveness properties through the construction of a coverability tree.

34

Publications

909

Citations

85

Authors

50

Institutions

Publications per year

2017–2026

7

Parents

Publications

34

A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets

Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune et al. · IEEE Transactions on Automatic Control · 2012 · 154 citations · Full text

, , +12

Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS

Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin · Journal of Computer and System Sciences · 2005 · 75 citations

, , +9

Diagnosability analysis of unbounded Petri nets

Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune et al. · 2009 · 46 citations

, , +10

Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems

Éric Badouel, Javier Oliver · OpenGrey (Institut de l'Information Scientifique et Technique) · 1998 · 43 citations · Full text

, , +17

A Widening Approach to Multithreaded Program Verification

Alexander Kaiser, Daniel Kroening, Thomas Wahl · ACM Transactions on Programming Languages and Systems · 2014 · 41 citations · Full text

, , +16

1–5 of 34

Authors

85

  1. JR
    Jean-François Raskin

    Université Libre de Bruxelles, Belgium

    3 publications · 133 citations

    3

    h-index

  2. PA
    Parosh Aziz Abdulla

    Uppsala University, Sweden

    3 publications · 52 citations

    3

    h-index

  3. LV
    Laurent Van Begin

    Université Libre de Bruxelles, Belgium

    3 publications · 133 citations

    3

    h-index

  4. GD
    Giorgio Delzanno

    University of Genoa, Italy

    3 publications · 66 citations

    3

    h-index

  5. MP
    Maria Paola Cabasino

    University of Cagliari, Italy

    2 publications · 200 citations

    2

    h-index

1–5 of 85

Institutions

50

  1. Uppsala University

    Uppsala, Sweden

    3 h-index

    4 publications

    67 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    6 publications

    99 citations

  3. Université Libre de Bruxelles

    Brussels, Belgium

    3 h-index

    7 publications

    341 citations

  4. University of Genoa

    Genoa, Italy

    3 h-index

    3 publications

    66 citations

  5. University of Michigan

    Ann Arbor, United States

    2 h-index

    2 publications

    200 citations

  6. Universidad Complutense de Madrid

    Madrid, Spain

    2 h-index

    4 publications

    82 citations

  7. University of Warsaw

    Warsaw, Poland

    2 h-index

    3 publications

    34 citations

  8. University of Cagliari

    Cagliari, Italy

    2 h-index

    6 publications

    600 citations

1–8 of 50

Venues

  1. Theoretical Computer Science

    2 publications · 21 citations

    2

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 50 citations

    2

    h-index

  3. IEEE Transactions on Automatic Control

    2 publications · 172 citations

    2

    h-index

  4. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 2 publications · 33 citations

    2

    h-index

  5. Performance Metrics for Intelligent Systems

    Conference · 1 publications · 12 citations

    1

    h-index

1–5