|
 
|
Laure Petrucci
|
Professeur Laboratoire: LIPN (FR) Parti depuis le 01/08/2001 |
Publications
2012
- [THK12] N. Treves, L. Hillah, F. Kordon, L. Petrucci. "A primer on the Petri Net Markup Language and ISO/IEC 15909-2", 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN’09), April 2012, pp.19,
Conférence Internationale avec comité de lecture
2010
- [HKP10] L. Hillah, F. Kordon, L. Petrucci, N. Treves. "PNML Framework: an extendable reference implementation of the Petri Net Markup Language", PN'10, Braga, Portugal, January 2010, Vol. 6128, pp.318-327, Series LNCS,
Conférence Internationale avec comité de lecture
2009
- [HKK09] L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Treves. "The Petri Net Markup Language and ISO/IEC 15909-2", Petri Nets Newsletter, pp. 9-28, 2009
- [HKP09a] S. Haddad, F. Kordon, L. Petrucci, J. Pradat-Peyre, N. Treves. "Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains", ACC'09, St Louis, US, January 2009, pp.5018-5025, Series Omnipress IEEE Catalog : CFP09A, ISBN 978-1-4244-4524-0.,
- [HKP09] S. Haddad, F. Kordon, L. Petrucci, J. Pradat-Peyre, N. Treves. "Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains", Date de dépot: 2009/01/01, (Tech. Rep.: CEDRIC-09-1780)
Revue Internationale avec comité de lecture
Conférence Internationale avec comité de lecture
Rapport Scientifique
2006
- [HKP06] L. Hillah, F. Kordon, L. Petrucci, N. Treves. "PN standardisation : a survey", FORTE 2006, 26th IFIP WG 6.1 Int. Conf.rence, Paris, France, January 2006, pp.307-322, Series LNCS 4229,
Conférence Internationale avec comité de lecture
2005
- [HKP05] L. Hillah, F. Kordon, L. Petrucci, N. Treves. "Model engineering on Petri nets for ISO/IEC 15909-2: API Framework for Petri Net types metamodels", Petri Nets Newsletter, pp. 22-40, 2005
Revue Internationale avec comité de lecture
1998
- [BPa98] K. Barkaoui, L. Petrucci. "Structural Analysis of Workflow Nets with Shared Ressources", Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), January 1998, pp.82-95,
