Plusieurs membres du groupe MeFoSyLoMa participent, en tant qu'experts mandatés par l'AFNOR, à l'alaboration de la norme sur les réseaux de Petri. Voici quelques documents relatifs à ce travail:
Le second volet du standard, auquel plusieurs membres de MeFoSyLoMa ont grandement contribué, est disponible ici.
En 2012, les laboratoires LIP6, LIPN et LSV lancent CosyVerif, un projet collaboratif de plate-forme logicielle de vérification de modèles centrée sur les automates et les réseaux de Petri.
EN 2014 (Tunis) et 2015 (Bruxelles), S. Baarir (LIP6, en délégation au LRDE en 2015), F. Kordon (LIP6) et L. Petrucci (LIPN) organisent le tutoriel «From Symmetric Nets to Symmetric Nets with Bags» avec CosyVerif comme plateforme de travaux pratiques.
En 2014, le laboratoire Cedric, asisté du LIPN, du LIP6 et du LSV, pilote l'organisation à Tunis de Petri Nets 2014 et ACSD 2014.
La 18ème édition de cette conférence, organisée par le groupe MeFoSyLoMa, est prévue du 27 au 31 Août 2012 dans les locaux du CNAM. Le poster annoncant cette conférence est ici.
Depuis sa première édition en 1997, cette école d'été temps réel a pour but de faire le point sur les avancées des méthodes, techniques et outils dans le domaine du temps réel. La 7ème édition est prévue du 29 Août au 2 Septembre à Brest, dans les locaux de Télécom Brest. Quatre membres du groupe MeFoSyLoMa participent au comité scientifique.
Le groupe MeFoSyLoMa a publié en Juillet 2011, chez whiley, deux ouvrages sur les systèmes réparti:
La 4ème édition de cette conférence, organisée par le groupe MeFoSyLoMa, a eu lieu les 1er et 2 Juillet 2010 dans les locaux du CNAM. En marge de cet événement, est organisé un tutoriel sur les réseaux de Petri organisé par le LIP6 et le LIPN.
Depuis sa première édition en 1997, cette école d'été temps réel a pour but de faire le point sur les avancées des méthodes, techniques et outils dans le domaine du temps réel. La 6ème édition (ETR'09), organisée par le groupe MeFoSyLoMa, a eu lieu du 31 août au 4 septembre 2009 à Télécom ParisTech.
Le 30eme occurrence de la conférence Petri Nets et la 20eme occurrence du symposium sur le Rapid System Prototyping ont été organisés par le groupe MeFoSyLoMa à Jussieu du 22 au 26 Juin 2009.
Le groupe MeFoSyLoMa a publié en novembre 2008 chez Hermès "systèmes répartis en action, de l'embarqué aux systèmes à large échelle" dans la collection Traité IC2, série informatique et systèmes d'information. Résumé et description sur le site de l'éditeur.
La version 3.3 de l'environnement réseaux de Petri CPN-AMI contient des outils développés conjointement par le LIP6 et le LIPN et basés sur les Symbolic Observation Graphs.
Retrouvez les transparents du tutoriel sur les "Méthodes formelles pour les systèmes répartis et coopératifs" présenté à la conférence ICTAC'2006 et à la conférence ICSSEA'2006.
Le groupe MeFoSyLoMa a publié en novembre 2006 chez Hermès "Méthodes formelles pour les systèmes répartis et coopératifs" dans la collection Traité IC2, série informatique et systèmes d'information. Résumé et description sur le site de l'éditeur.
La 26ème occurence de FORTE, FORTE'06, fut organisée par MeFoSyLoMa et s'est tenue à Paris dans les locaux du CNAM du 26 au 29 Septembre 2006.