M-nets: A survey
Résumé
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.
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|