Actualités
Aperçu de mes publications
Jeudi 7 avril 2011, par // Publications
Vous pouvez accéder à un rapide aperçu de mes publications sur cette page Lire la suite »
Overview of my publications on the lab page
Jeudi 7 avril 2011, par
You can access this overview from this link Lire la suite »
Journals
Friday 14 January 2011, by // Publications
« Standardisation des réseaux de Petri: état de l’art et enjeux futurs»L.M. Hillah et Laure Petrucci.Génie Logiciel, 93(5-10), 2010. [Biblio] [PDF] «A primer on the Petri Net Markup Language and ISO/IEC 15909-2 » (Originally published at 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools – CPN’09) L.M. Hillah, E. Kindler, F. Kordon, L. Petrucci et N. Trèves. Petri Net Newsletter, Gesellschaft für In- formatik e.V, Volume 76 [Biblio] «UML behavioral consistency (...) Lire la suite »
Revues
Vendredi 14 janvier 2011, par // Publications
« Standardisation des réseaux de Petri : état de l’art et enjeux futurs »L.M. Hillah et Laure Petrucci.Génie Logiciel, 93(5-10), 2010. [Biblio] [PDF] « A primer on the Petri Net Markup Language and ISO/IEC 15909-2 » (Initialement présenté au 10ème International workshop on Practical Use of Colored Petri Nets and the CPN Tools – CPN’09) L.M. Hillah, E. Kindler, F. Kordon, L. Petrucci et N. Trèves. Petri Net Newsletter, Gesellschaft für In- formatik e.V, Volume 76 [Biblio] « UML behavioral consistency (...) Lire la suite »
Conférences internationales et workshops
Vendredi 14 janvier 2011, par // Publications
« S. Baarir, F. Kordon, L. Hillah and E. Renault. Self-Reconfigurable Modular Robots and their Symbolic Configuration Space » In 16th Monterey Workshop, 2010, LNCS à paraître. « L.M. Hillah, F. Kordon, L. Petrucci, et N. Trèves. PNML Framework : an extendable reference implementation of the Petri Net Markup Language » In Petri Nets 2010, volume 6128. Springer, 2010. [Biblio] « Collision Avoidance (...) Lire la suite »
International conferences and workshops
Friday 14 January 2011, by // Publications
«S. Baarir, F. Kordon, L.Hillah and E. Renault. Self-Reconfigurable Modular Robots and their Symbolic Configuration Space» In 16th Monterey Workshop, 2010, LNCS to appear. «L.M. Hillah, F. Kordon, L. Petrucci, and N. Trèves. PNML Framework: an extendable reference implementation of the Petri Net Markup Language» In Petri Nets 2010, LNCS 6128. Springer, 2010. [Biblio] «Collision Avoidance in (...) Lire la suite »
Bibliography
Tuesday 23 February 2010, by // Bibliography
You will find in the attached zip file bibliographic references I have read, for the most part. Lire la suite »
Bibliographie
Mardi 23 février 2010, par // Bibliographie
Vous trouverez dans le fichier zip attaché les références bibliographiques des articles que j’ai en grande partie lus. Lire la suite »
Collègues
Mardi 2 février 2010, par // Profil
Je vous invite à découvrir ces sites intéressants de mes collègues avec qui j’aime travailler et passer du temps ensemble (Pour le moment, je ne suis pas encore arrivé à retrouver les pages des autres ;). Vous y trouverez des ressources qui pourraient vous intéresser. Luciana Arantes Souheib Baarir Reda Bendraou Béatrice Bérard Xavier Blanc Fabien Bonnefoi Mathieu Bouillaguet Christine Choppy (...) Lire la suite »
Colleagues
Tuesday 2 February 2010, by // Profile
I kindly invite you to check out these interesting home pages, where you may find useful resources for you, of colleagues I enjoy working and spending time with (I haven’t found the home pages of the others yet ;). Luciana Arantes Souheib Baarir Reda Bendraou Béatrice Bérard Xavier Blanc Fabien Bonnefoi Mathieu Bouillaguet Christine Choppy Marie-Pierre Gervais Nicolas Gibelin Claire (...) Lire la suite »
Derniers articles
PNML Framework
We have developed PNML Framework, which is a reference implementation of Part 2 of the Petri nets standard. Part 2 defines the interchange format, PNML. The main objective of PNML Framework is to (...) Lire la suite »
Behavioral Consistency Checker
In our model transformation framework of UML models to Instantiable Petri Nets to enable formal verification, we have participated in the development of Behavioral Consistency Checker (BCC). It (...) Lire la suite »
PNML Framework
Dans le cadre de l’élaboration de la norme ISO/IEC 15909 sur les réseaux de Petri, nous développons un outil de référence supportant celle-ci, PNML Framework. Son objectif est de fournir une API de (...) Lire la suite »
Derniers articles
- 4/10 — Présentation — par
- 5/10 — Centres d’intérêt — par
- 12/10 — Thèse — par
- 12/10 — À propos — par
- 5/11 — Behavioral Consistency Checker — par