Petri Net Approaches for Modelling and Validation - Archive ouverte HAL
Ouvrages Année : 1999

Petri Net Approaches for Modelling and Validation

Wil van Der Aalst
  • Fonction : Directeur de publication
José-Manuel Colom
  • Fonction : Directeur de publication
Fabrice Kordon
Systèmes répartis et coopératifs
CV
Gabriela Kotsis
  • Fonction : Directeur de publication
Daniel Moldt
  • Fonction : Directeur de publication

Domaines

Informatique [cs]

Lip6 Publications  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01574409

Soumis le : lundi 14 août 2017-14:03:46

Dernière modification le : mardi 11 avril 2023-15:16:28

Fichier non déposé

Dates et versions

hal-01574409 , version 1 (14-08-2017)

Identifiants

  • HAL Id : hal-01574409 , version 1

Citer

Wil van Der Aalst, José-Manuel Colom, Fabrice Kordon, Gabriela Kotsis, Daniel Moldt (Dir.). Petri Net Approaches for Modelling and Validation. 1, 1999, LINCOM Studies in Computer Science. ⟨hal-01574409⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES
66 Consultations
0 Téléchargements

Partager

More