Travaux en commun

Rubriques
Travaux en commun
Publications
Info. pratiques
Contacts
Séminaires
Le prochain

22/01/2010

04/12/2009
13/11/2009
02/10/2009
05/06/2009
03/04/2009
06/03/2009
23/01/2009

05/12/2008
14/11/2008
10/10/2008
30/05/2008
11/04/2008
21/03/2008
15/02/2008

Séminaires 2007

Séminaires 2006

Séminaires 2005


mod. 13-Fév-2010

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:

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, aura 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 seront 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.