M-nets: a survey

Authors:
Hanna Klaudel;Franck Pommereau
Affiliations:
Université d’Evry, IBISC, 523 place des Terrasses, 91000, Evry, France;Univ. Paris Est, LACL, 61 av. du général de Gaulle, 94010, Créteil, France
Venue:
Acta Informatica
Year:
2008

Citing 0
Cited 2

Coloured Petri Nets for Chronicle Recognition

Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Unifying the semantics of modular extensions of petri nets

PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency

Quantified Score

Hi-index	0.00

Visualization

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.