High Level Petri Nets

Claude Girault 1 Jean-François Pradat-Peyre 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01298299
Contributor : Lip6 Publications <>
Submitted on : Tuesday, April 5, 2016 - 5:15:44 PM
Last modification on : Thursday, March 21, 2019 - 1:11:49 PM

Identifiers

  • HAL Id : hal-01298299, version 1

Citation

Claude Girault, Jean-François Pradat-Peyre. High Level Petri Nets. Petri Nets: Fundamental Models, Verification and Applications, Wiley-ISTE, pp.185-219, 2009, 9781848210790. ⟨hal-01298299⟩

Share

Metrics

Record views

42