Travaux en commun

Norme réseaux de Petri (ISO/IEC-15909)

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.

Projet collaboratif CosyVerif (depuis 2012)

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.

2014 et 2015, Tutorial «From Symmetri Nets to Symetric Nets with Bags»

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.

2014, 35th Petri Nets conference & 14th International Conference on
Application of Concurrency to System Design

En 2014, le laboratoire Cedric, asisté du LIPN, du LIP6 et du LSV, pilote l'organisation à Tunis de Petri Nets 2014 et ACSD 2014.

2012, 18th International Symposium on Formal Methods

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.

2011, Participation à l'organisation de l'école d'été Temps réel

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.

2011, Livres "Distributed Systems, Design and Algorithms" et "Models and Analysis in Distributed Systems"

Le groupe MeFoSyLoMa a publié en Juillet 2011, chez whiley, deux ouvrages sur les systèmes réparti:

2010, VECOS à Paris en 2010

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.

2009, Ecole d'été Temps réel

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.

2009, 30th Petri Nets conference & 20th RSP symposium

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.

2008, Livre: systèmes répartis en action, de l'embarqué aux systèmes à large échelle

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.

2008, CPN-AMI version 3.3

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.

2006, Tutoriel MeFoSyLoMa

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.

2006, Livre: méthodes formelles pour les systèmes répartis et coopératifs

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.

2006, FORTE à Paris en 2006

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.