Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications (China Version)

Claude Girault 1 Rüdiger Valk
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Books
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01489070
Contributor : Lip6 Publications <>
Submitted on : Tuesday, March 14, 2017 - 11:06:15 AM
Last modification on : Thursday, March 21, 2019 - 1:05:33 PM

Identifiers

  • HAL Id : hal-01489070, version 1

Citation

Claude Girault, Rüdiger Valk. Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications (China Version). Publishing House of Electronics Industry, 2005, 7-121-00781-9. ⟨hal-01489070⟩

Share

Metrics

Record views

146