Petri Net Approaches for Modelling and Validation

Document type :
Directions of work or proceedings
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01574409
Contributor : Lip6 Publications <>
Submitted on : Monday, August 14, 2017 - 2:03:46 PM
Last modification on : Thursday, March 21, 2019 - 1:01:08 PM

Identifiers

  • HAL Id : hal-01574409, version 1

Citation

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

Share

Metrics

Record views

43