• 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

Evaluation of high-level Petri nets by means of aggregation and decomposition

Haddad, Serge; Moreaux, Patrice (1995), Evaluation of high-level Petri nets by means of aggregation and decomposition, Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995, IEEE Computer Society, p. 11-20. http://dx.doi.org/10.1109/PNPM.1995.524311

Type
Communication / Conférence
Date
1995
Titre du colloque
Sixth International Workshop on Petri nets and Performance Models, PNPM 1995
Date du colloque
2005-10
Ville du colloque
Durham, NC
Pays du colloque
États-Unis
Titre de l'ouvrage
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995
Éditeur
IEEE Computer Society
Isbn
0-8186-7210-2
Pages
11-20
Identifiant publication
http://dx.doi.org/10.1109/PNPM.1995.524311
Métadonnées
Afficher la notice complète
Auteur(s)
Haddad, Serge
Moreaux, Patrice
Résumé (EN)
We introduce a new method combining the powerful stochastic well formed Petri net (SWN) model with the decomposition approach initiated by B. Plateau (1985). We derive necessary conditions on the modeled systems that allow for the two methods to be combined. For parallel systems satisfying these necessary conditions we develop two models with corresponding algorithms. The first model, which forbids color synchronization between components of the system yields to a strict generalization of each of the two methods. The second model which covers a large range of real life systems needs theoretical study which we have undertaken. An example shows the intuitive ideas behind these developments.
Mots-clés
Petri nets; stochastic systems; Markov processes; state-space methods; synchronisation; continuous time systems; parallel algorithms; high level Petri net evaluation; aggregation; decomposition; stochastic well formed Petri net model; modeled systems; parallel systems; algorithms; real life systems

Publications associées

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

  • Vignette de prévisualisation
    Asynchronous Composition of High-level Petri nets: a Quantitative Approach 
    Haddad, Serge; Moreaux, Patrice (1996) Communication / Conférence
  • Vignette de prévisualisation
    A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets 
    Haddad, Serge; Mokdad, Lynda; Moreaux, Patrice (2006) Communication / Conférence
  • Vignette de prévisualisation
    Structural characterization and qualitative properties of product form stochastic Petri nets 
    Haddad, Serge; Moreaux, Patrice; Sereno, Matteo; Silva, Manuel (2001) Communication / Conférence
  • Vignette de prévisualisation
    Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets 
    Haddad, Serge; Moreaux, Patrice; Chiola, Giovanni (1997) Communication / Conférence
  • Vignette de prévisualisation
    A Protocol Specification Language with a High-level Petri Net Semantics 
    Zouari, Belhassen; Taghelit, Mohamed; Haddad, Serge (1993) 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