Analyses qualitatives et quantitatives basées sur des réseaux de Petri stochastiques et concept d'automate quotient quantifié - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

Analyses qualitatives et quantitatives basées sur des réseaux de Petri stochastiques et concept d'automate quotient quantifié

Fichier non déposé

Dates et versions

hal-00349448 , version 1 (30-12-2008)

Identifiants

  • HAL Id : hal-00349448 , version 1

Citer

Guy Juanole, Laurent Gallon. Analyses qualitatives et quantitatives basées sur des réseaux de Petri stochastiques et concept d'automate quotient quantifié. Modélisation et Vérification des Processus Parallèles (MOVEP'98), Jul 1998, Nantes, France. pp.93-107. ⟨hal-00349448⟩
42 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More