M-nets: A survey

Hanna Klaudel 1 Franck Pommereau 2
1 COSMO
IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
Abstract : This paper surveys the research related to the model of M-nets since it was introduced in 1995. M-nets are high-level labelled Petri nets which can be composed, like process algebra terms, using various operators. We present the core model, several of its extensions and the main applications.
Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00870484
Contributor : Frédéric Davesne <>
Submitted on : Monday, October 7, 2013 - 2:01:10 PM
Last modification on : Thursday, December 13, 2018 - 9:46:03 AM

Links full text

Identifiers

Collections

Citation

Hanna Klaudel, Franck Pommereau. M-nets: A survey. Acta Informatica, Springer Verlag, 2008, 45 (7-8), pp.537--564. ⟨10.1007/s00236-008-0077-0⟩. ⟨hal-00870484⟩

Share

Metrics

Record views

118