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.
Type de document :
Article dans une revue
Acta Informatica, Springer Verlag, 2008, 45 (7-8), pp.537--564. 〈10.1007/s00236-008-0077-0〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00870484
Contributeur : Frédéric Davesne <>
Soumis le : lundi 7 octobre 2013 - 14:01:10
Dernière modification le : jeudi 11 janvier 2018 - 06:26:35

Lien texte intégral

Identifiants

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〉

Partager

Métriques

Consultations de la notice

111