Analyses qualitatives et quantitatives basées sur des réseaux de Petri stochastiques et concept d'automate quotient quantifié - Archive ouverte HAL
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⟩
48 Consultations
0 Téléchargements

Partager

More