• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Aide
  • Connexion
  • Langue 
    • Français
    • English
Consulter le document 
  •   Accueil
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • Consulter le document
  •   Accueil
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • Consulter le document
JavaScript is disabled for your browser. Some features of this site may not work without it.

Afficher

Toute la baseCentres de recherche & CollectionsAnnée de publicationAuteurTitreTypeCette collectionAnnée de publicationAuteurTitreType

Mon compte

Connexion

Enregistrement

Statistiques

Documents les plus consultésStatistiques par paysAuteurs les plus consultés
Thumbnail - Request a copy

Conflict Sets in Coloured Petri nets

Dutheillet, Claude; Haddad, Serge (1993), Conflict Sets in Coloured Petri nets, 5th International Workshop on Petri Nets and Performance Models, 1993. Proceedings., IEEE Computer Society, p. 76-85

Type
Communication / Conférence
Date
1993
Titre du colloque
3rd International Workshop on Petri Nets and Performance Models, PNPM'93
Date du colloque
1993-10
Ville du colloque
Toulouse
Pays du colloque
France
Titre de l'ouvrage
5th International Workshop on Petri Nets and Performance Models, 1993. Proceedings.
Éditeur
IEEE Computer Society
Isbn
0-8186-4250-5
Pages
76-85
Métadonnées
Afficher la notice complète
Auteur(s)
Dutheillet, Claude
Haddad, Serge
Résumé (EN)
Generalized stochastic Petri nets provide the modeller with immediate transitions, but a model will be correct only if the modeller can specify how to solve the firing conflicts between these transitions. This task is usually cumbersome and may be impossible for large nets. In confusion-free nets, these conflict sets are subsets of equivalence classes of a structural conflict relation, which greatly simplifies the previous task. The authors solve the problem of detecting confusion in colored stochastic Petri nets and computing the equivalence classes of the structural conflict relation. The approach relies on two techniques: the symbolic representation of structural relations and the definition of operations on these symbolic relations. Combined with the lumping method presented by G. Chiola et al. (1991), the algorithm could be the basis of an efficient tool for the analysis of colored generalized stochastic Petri nets.
Mots-clés
stochastic Petri nets; Petri nets

Publications associées

Affichage des éléments liés par titre et auteur.

  • Vignette de prévisualisation
    A Symbolic Reachability Graph for Coloured Petri Nets 
    Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1997) Article accepté pour publication ou publié
  • Vignette de prévisualisation
    An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets 
    Barkaoui, Kamel; Dutheillet, Claude; Haddad, Serge (1993) Communication / Conférence
  • Vignette de prévisualisation
    Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications 
    Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1991) Chapitre d'ouvrage
  • Vignette de prévisualisation
    On Well-Formed Coloured Nets and Their Symbolic Reachability Graph 
    Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1990) Communication / Conférence
  • Vignette de prévisualisation
    Regular Stochastic Petri Nets 
    Dutheillet, Claude; Haddad, Serge (1991) Communication / Conférence
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Tél. : 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo