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érenceDate
1993Titre du colloque
3rd International Workshop on Petri Nets and Performance Models, PNPM'93Date du colloque
1993-10Ville du colloque
ToulousePays du colloque
FranceTitre 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èteRé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 netsPublications associées
Affichage des éléments liés par titre et auteur.
-
Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1997) Article accepté pour publication ou publié
-
Barkaoui, Kamel; Dutheillet, Claude; Haddad, Serge (1993) Communication / Conférence
-
Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1991) Chapitre d'ouvrage
-
Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1990) Communication / Conférence
-
Dutheillet, Claude; Haddad, Serge (1991) Communication / Conférence