• 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

Contribution des réseaux de Petri de haut niveau

Haddad, Serge; Ilié, Jean-Michel; Taghelit, Mohamed; Dutheillet, Claude; Moreaux, Patrice (1997), Contribution des réseaux de Petri de haut niveau, TSI : Technique et Science Informatiques, 16, 6, p. 701-723

Type
Article accepté pour publication ou publié
Date
1997
Nom de la revue
TSI : Technique et Science Informatiques
Volume
16
Numéro
6
Éditeur
Hermès-Lavoisier
Pages
701-723
Métadonnées
Afficher la notice complète
Auteur(s)
Haddad, Serge
Ilié, Jean-Michel
Taghelit, Mohamed
Dutheillet, Claude
Moreaux, Patrice
Mots-clés
Réseaux de Pétri

Publications associées

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

  • Vignette de prévisualisation
    Symbolic Reachability Graph and Partial Symmetries 
    Haddad, Serge; Ilié, Jean-Michel; Taghelit, Mohamed; Zouari, Belhassen (1995) Communication / Conférence
  • Vignette de prévisualisation
    On the use of exact lumpability in partially symmetrical Well-formed Nets 
    Baarir, Souheib; Dutheillet, Claude; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence
  • Vignette de prévisualisation
    Modular Verification of Petri nets properties: a Structure-based Approach 
    Klai, Kais; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence
  • Vignette de prévisualisation
    An Incremental Verification Technique using Decomposition of Petri Nets 
    Klai, Kais; Haddad, Serge; Ilié, Jean-Michel (2002) Communication / Conférence
  • Vignette de prévisualisation
    Les réseaux de Petri stochastiques bien formés 
    Haddad, Serge; Moreaux, Patrice (2001) Chapitre d'ouvrage
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