Portal de Periódicos da CAPES

M-nets: a survey

2008; Springer Science+Business Media; Volume: 45; Issue: 7-8 Linguagem: Inglês

10.1007/s00236-008-0077-0

1432-0525

Hanna Klaudel, Franck Pommereau,

Business Process Modeling and Analysis

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.