• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Help
  • Login
  • Language 
    • Français
    • English
View Item 
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesTypeThis CollectionBy Issue DateAuthorsTitlesType

My Account

LoginRegister

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors
Thumbnail - Request a copy

New Efficient Petri Net Reductions for Parallel Programs Verification

Haddad, Serge; Pradat-Peyre, Jean-François (2006), New Efficient Petri Net Reductions for Parallel Programs Verification, Parallel Processing Letters, 16, 1, p. 101-116. http://dx.doi.org/10.1142/S0129626406002502

Type
Article accepté pour publication ou publié
Date
2006
Journal name
Parallel Processing Letters
Volume
16
Number
1
Publisher
World Scientific
Pages
101-116
Publication identifier
http://dx.doi.org/10.1142/S0129626406002502
Metadata
Show full item record
Author(s)
Haddad, Serge
Pradat-Peyre, Jean-François
Abstract (EN)
Structural model abstraction is a powerful technique for reducing the complexity of a state based enumeration analysis. We present in this paper new efficient Petri nets reductions. First, we define "behavioural" reductions (i.e. based on conditions related to the language of the net) which preserve a fundamental property of a net (i.e. liveness) and any formula of the (action-based) linear time logic that does not observe reduced transitions of the net. We show how to replace these conditions by structural or algebraical ones leading to reductions that can be efficiently checked and applied whereas enlarging the application spectrum of the previous reductions. At last, we illustrate our method on a significant and typical example of a synchronisation pattern of parallel programs.
Subjects / Keywords
Petri nets; concurrent software verification; structural abstraction; Reduction theory

Related items

Showing items related by title and author.

  • Thumbnail
    Syntactical Colored Petri Nets Reductions 
    Evangelista, Sami; Haddad, Serge; Pradat-Peyre, Jean-François (2005) Communication / Conférence
  • Thumbnail
    New Coloured Reductions for Software Validation 
    Evangelista, Sami; Haddad, Serge; Pradat-Peyre, Jean-François (2004) Communication / Conférence
  • Thumbnail
    Generative Families of Positive Invariants in Coloured Nets Sub-Classes 
    Couvreur, Jean-Michel; Haddad, Serge; Pradat-Peyre, Jean-François (1993) Communication / Conférence
  • Thumbnail
    De nouvelles réductions colorées pour la validation de logiciels 
    Evangelista, Sami; Haddad, Serge; Pradat-Peyre, Jean-François (2004) Article accepté pour publication ou publié
  • Thumbnail
    Résolution paramétrée de familles de systèmes linéaires 
    Pradat-Peyre, Jean-François; Haddad, Serge; Couvreur, Jean-Michel (1992) Article accepté pour publication ou publié
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Phone: 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo