Selected publications by Laure Petrucci

• L. M. Kristensen and L. Petrucci, Eds. Proceedings of the 32nd International Conference on Petri Nets and other Models of Concurrency. (PetriNets'2011), Newcastle, UK, June 2011, Volume 6709 of Lecture Notes in Computer Science. Springer.

• C. Choppy, J. Desel, and L. Petrucci. Specialisation and Generalisation of Processes. In Proc. workshop on Petri Nets and Software Engineering (PNSE'11, associated with Petri Nets 2011), Newcastle, UK, June 2011. Volume 723 of CEUR workshop proceedings.

• L. Hillah, F. Kordon, C. Lakos, and L. Petrucci. Extending PNML Scope: the Prioritised Petri Nets Experience. In Proc. workshop on Petri Nets and Software Engineering (PNSE'11, associated with Petri Nets 2011), Newcastle, UK, June 2011. Volume 723 of CEUR workshop proceedings.

• C. Boukala, and L. Petrucci. Distributed Verification of Modular Systems. In Proc. workshop on Petri Nets Compositions (CompoNet'11, associated with Petri Nets 2011), Newcastle, UK, June 2011. Volume 726 of CEUR workshop proceedings.

• C. Boukala, and L. Petrucci. Distributed CTL Model-Checking and counterexample search. In International Journal of Critical Computer-based Systems. To appear.

• S. Haddad, F. Kordon, L. Pautet and L. Petrucci. Models and Analysis in Distributed Systems. Wiley, may 2011.

• S. Haddad, F. Kordon, L. Pautet and L. Petrucci. Distributed Systems: Design and Algorithms. Wiley, may 2011.

• C. Lakos and L. Petrucci. Modular state spaces for prioritised Petri nets. In Proc. of the Monterey Workshop, Redmond, WA, USA, april 2010, Volume 6662 of Lecture Notes in Computer Science, Springer Verlag.

• K.  van Hee, L. Kristensen, and L. Petrucci. Guidelines for Application Papers submitted to PETRI NETS. In Petri Net Newsletter, October 2010.

• L. Hillah, F. Kordon, L. Petrucci and N. Trèves. PNML Framework: an extendable reference implementation of the Petri Net Markup language. In Proc. 31st Int. Conf. Application and Theory of Petri Nets (PetriNets'2010), Braga, Portugal, June 2010, Lecture Notes in Computer Science. Springer, 2010.

• C. Choppy, A. Dedova, S. Evangelista, S. Hong, K. Klai and L. Petrucci. The NEO protocol for large-scale distributed database systems: Modelling and initial verification. In Proc. 31st Int. Conf. Application and Theory of Petri Nets (PetriNets'2010), Braga, Portugal, June 2010, Lecture Notes in Computer Science. Springer, 2010.

• C. Choppy, M. Mayero and L. Petrucci. Coloured Petri net refinement specification and correctness proof with Coq. In Journal of Innovations in Systems and Software Engineering. Springer, April 2010.

• E. Kindler and L. Petrucci. A framework for the definition of variants of high-level Petri nets. In Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, October 2009.

• L.  Hillah, E. Kindler, F. Kordon, L. Petrucci, and N. Trèves. A primer on the Petri Net Markup Language and ISO/IEC 15909-2. In Petri Net Newsletter 76, October 2009.

• S.  Haddad, F. Kordon, L. Petrucci, J.F. Pradat-Peyre, and N. Trèves. Efficient state-based analysis by introducing bags in Petri nets colour domains. In Proc. American Control Conference (ACC2009), St Louis, Missouri, USA, IEEE Comp. Soc. Press, June 2009.

• E.  Kindler, and L. Petrucci. Towards a Standard for Modular Petri Nets: A Formalisation. In Proc. 30th Int. Conf. Application and Theory of Petri Nets (PetriNets'2009), Paris, France, June 2009, volume 5606 of Lecture Notes in Computer Science. Springer, 2009.

• F. Kordon, L. Pautet and L. Petrucci. Systèmes répartis en action : de l'embarqué aux systèmes large échelle. Hermès, novembre 2008.

• E.  Badouel, P. Darondeau, and L. Petrucci. Modular Synthesis of Petri Nets from Regular Languages. In Perspectives in Concurrency Theory. K. Lodaya and M. Mukund, eds. Universities Press, pages 1-21. december 2008.

• S. Bardin, A. Finkel, J. Leroux and L. Petrucci. FAST: Acceleration from theory to practice. In Journal of Software Tools for Technology Transfer,10(5), pages 401-424, october 2008.

• J.  Desel, and L. Petrucci. Aggregating views for Petri net model construction. In Proc. workshop on Petri Nets and Distributed Systems (PNDS08, associated with Petri Nets 2008), Xi'an, China, June 2008. Pages 17-31, 2008.

• C.  Choppy, M. Mayero, and L. Petrucci. Experimenting formal proofs of Petri nets refinements. In Proc. workshop REFINE (associated with FM2008), Turku, Finland, June 2008. Volume 214 of Electronic Notes in Theoretical Computer Science, Elsevier, pages 231-254, may 2008.

• K.  Klai, and L. Petrucci. Modular construction of the symbolic observation graph. In Proc. 8th Int. Conf. on Application of Concurrency to System Design (ACSD'08), Xi'an, China, June 2008. IEEE Comp. Soc. Press, pages 88-97, 2008.

• C. Choppy, L. Petrucci and G. Reggio. A modelling approach with coloured Petri nets. In Proc. 13th International Conference on Reliable Software Technologies / ADA-Europe, Venice, Italy, volume 5026 of Lecture Notes in Computer Science, Springer, pages 73-86, june 2008.

• L. Hillah, F. Kordon and L. Petrucci. Application des méthodes formelles à la robotique modulaire - Méthodes formelles pour l'analyse des robots autonomes et modulaires. Journal Européen des Systèmes Automatisés, volume 42, numéro 4, pages 459-478, Hermès, 2008.

• C. Choppy, L. Petrucci and G. Reggio. Designing coloured Petri net models: a method. In Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, October 2007.

• C. Lakos and L. Petrucci. Modular state spaces and place fusion. In Proc. International Workshop on Petri Nets and Software Engineering (PNSE'07, associated with Petri Nets'07), Sieldlce, Poland, University of Podlasie, pages 175-190, june 2007.

• F. Kordon and L. Petrucci. A formal approach to designing autonomous systems: from Intelligent Transport Systems to robots. In Proc. 2nd National Workshop on Control Architectures of Robots (CAR'07), Paris, France, may 2007.

• K. Klai, L. Petrucci and M. Reniers. An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. In Proc. 27th International Conference on Formal Methods for Networked and Distributed Systems (FORTE'07), Tallinn, Estonia, volume 4574 of Lecture Notes in Computer Science, Springer, june 2007.

• C. Boukala and L. Petrucci. Towards Distributed Verification of Petri Nets properties. In Proc. 1st International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS'07), Algiers, Algeria, eWIC, British Computer Society, pages 15-26, may 2007.

• C. Lakos and L. Petrucci. Modular State Space Exploration for Timed Petri Nets. Journal of Software Tools for Technology Transfer(9):3-4, pages 393-411, june 2007.

• C. Choppy, S. Haddad, H. Klaudel, F. Kordon, L. Petrucci and Y. Thierry-Mieg. Tutorial on Formal Methods for Distributed and Cooperative Systems. In 3rd Int. Coll. on Theoretical Aspects of Computing (ICTAC'06), Tunis, Tunisia, volume 4281 of Lecture Notes in Computer Science, pages 362-365. Springer, 2006.

• L. Hillah, F.  Kordon, L. Petrucci and N. Trèves. PN standardisation: a survey. In Proc. 26th International Conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Paris, France, volume 4229 of Lecture Notes in Computer Science, pages 307-322. Springer, 2006.

• F. Kordon and L. Petrucci. From the Editor : Software Engineering - Towards formal methods oecumenism? In IEEE Distributed Systems Online, volume 7, number 7, july 2006.

• S. Mazouz and L. Petrucci. Modular Discrete Pseudo-State Graphs for Time Petri Nets. In Proc. Workshop on Modelling of Objects, Components and Agents (MOCA'06), Turku, Finland, Universität Hamburg Bericht 272, june 2006, pages 223-244.

• H. Karoui, R. Kanawati and L. Petrucci. An intelligent peer-to-peer multi-agent system for collaborative management of bibliographic databases. In SGAI's expert update magazine, volume 8, number 3, spring 2006, pages 22-31.

• H. Karoui, R. Kanawati and L. Petrucci. COBRAS: Cooperative CBR System for Bibliographical Reference Recommendation In Proc. 8th European Conference on Case-Based Reasonning (ECCBR'06), Ölüdeniz/Fethiye, Turkey, september 2006.

• H. Karoui, R. Kanawati and L. Petrucci. Cooperative CBR System for Peer Agent Committee Formation. In Proc. 5th Workshop on Agents and Peer-to-Peer Computing (AP2PC'06), Hakodate, Japan, volume 4461 of Lecture Notes in Artificial Intelligence, pages 51-62, june 2008.

• S. Haddad, F. Kordon and L. Petrucci. Méthodes formelles pour les systèmes répartis et coopératifs. Hermès, novembre 2006.

• K. Goossens and L. Petrucci. Editors, Proceedings of the 6th International Conference on Application of Concurrency to System Design (ACSD'06), Turku, Finland, IEEE Computer Society Press, june 2006.

• J. Billington, G. E. Gallasch and L. Petrucci. FAST Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets. In Nordic Journal of Computing 12(3), fall 2005, pages 275-307.

• C. Lakos and L. Petrucci. Distributed and Modular State Space Exploration for Timed Petri Nets In Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, pages 191-210, October 2005.

• S. Bardin, A. Finkel, J. Leroux and L. Petrucci. FAST: Fast Acceleration of Symbolic Transition systems. Tool demonstration at ACSD'05 (5th Int. Conf. on Application of Concurrency to System Design), St-Malo, France, June 2005.

• L. Hillah, F. Kordon, L. Petrucci, and N. Trèves. Building an API for ISO/IEC 15909, based on model engineering techniques. In Petri Net Newsletter 69, October 2005.

• J. Billington, G. E. Gallasch and L. Petrucci. Transforming Couloured Petri Nets to Counter Systems for Parametric Verification: A Stop-and-Wait Protocol Case Study. In Proc. 2nd workshop on MOdel-based Methodologies for Pervasive and Embedded Software (MOMPES'05, satellite of ACSD'05), Rennes, France, pages 37-55, TUCS general publication 39, ISBN 952-12-1556-9, June 2005.

• L. Petrucci. Modularity and Petri nets. In Proc. 7th International Symposium on Programming and Systems (ISPS'2005), Algiers, Algeria, pages 7-8, May 2005.

• L. Petrucci. Cover Picture Story: Experiments with Modular State Spaces. Petri Net Newsletter 68, pages: cover and 5-10, April 2005.

• H. Karoui, R. Kanawati and L. Petrucci. An intelligent peer-to-peer multi-agent system for collaborative management of bibliographic databases. In Proc. Workshop on Case Based Reasoning, Cambridge, England, December 2004.

• C. Choppy and L. Petrucci. Towards a methodology for modelling with Petri nets. In Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, pages 39-56, October 2004.

• S. Bardin, and L. Petrucci. From PNML to counter systems for accelerating Petri nets with FAST. In Proc. of the Workshop on Interchange Formats for Petri Nets (at ICATPN'2004), pages 26-40, Bologna, Italy, June 2004.

• L. Kristensen, and L. Petrucci. An approach to distributed state space exploration for coloured Petri nets. In Proc. 25th Int. Conf. Application and Theory of Petri Nets (ICATPN'2004), Bologna, Italy, June 2004, volume 3099 of Lecture Notes in Computer Science, pages 474-483. Springer, 2004.

• C.  Lakos, and L. Petrucci. Modular analysis of systems composed of semiautonomous subsystems. In Proc. 4th Int. Conf. on Application of Concurrency to System Design (ACSD'04), Hamilton, Canada, June 2004, pages 185-194. IEEE Comp. Soc. Press, 2004.

• S.  Bardin, and L. Petrucci. COAST : des réseaux de Petri à la planification assistée. In Proc. 6ème Conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2004), pages 285-298, Besançon, France, juin 2004.

• S. Bardin, A. Finkel, J. Leroux, and L. Petrucci. FAST: Fast Acceleration of Symbolic Transition systems. In Proc. 15th Int. Conf. Computer Aided Verification (CAV'2003), Boulder, CO, USA, July 2003, volume 2725 of Lecture Notes in Computer Science, pages 118-121. Springer, 2003.

• J. Billington, S. Christensen, K. van Hee, E. Kindler, O. Kummer, L. Petrucci, R. Post, C. Stehno, and M. Weber. The Petri Net Markup Language: Concepts, technology and tools. In Proc. 24th Int. Conf. Application and Theory of Petri Nets (ICATPN'2003), Eindhoven, The Netherlands, June 2003, volume 2679 of Lecture Notes in Computer Science, pages 483-505. Springer, 2003.

• L. Petrucci, L. M. Kristensen, J. Billington, and Z. H. Qureshi. Developing a formal specification for the mission system of a maritime surveillance aircraft. In Proc. 3rd Int. Conf. on Application of Concurrency to System Design (ACSD'03), Guimarães, Portugal, June 2003, pages 92-101. IEEE Comp. Soc. Press, 2003.

• L. M. Kristensen, J. Billington, L. Petrucci, Z. Qureshi, and R. Kiefer. Formal specification and analysis of airborne mission systems. In Proc. 21st IEEE Digital Avionics Systems Conference (DASC'2002), Irvine, CA, USA, Oct. 2002, volume 1, pages 4.D.4-1--4.D.4-13, 2002.

• L. Petrucci. Modélisation, vérification et applications. Mémoire d'habilitation à diriger des recherches, Université d'Evry, December 2002.

• L. Petrucci, L. M. Kristensen, J. Billington, and Z. Qureshi. Towards formal specification and analysis of avionics mission systems. In Proc. Workshop on Formal Methods applied to Defence Systems, June 2002, Adelaide, Australia, volume 12 of Conferences in Research and Practice in Information Technology, pages 95-104. Australian Computer Society, 2002.

• B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, and Ph. Schnoebelen. Systems and Software Verification. Model-Checking Techniques and Tools. Springer, 2001.

• G. Berthelot and L. Petrucci. Specification and validation of a concurrent system: An educational project. Journal of Software Tools for Technology Transfer, 3(4):372-381, 2001.

• F. Belala, M. Bettaz, and L. Petrucci. Concurrent systems analysis using ECATNets. Logic Journal of the IGPL, 8(2):149-164, 2000.

• G. Berthelot and L. Petrucci. Specification and validation of a concurrent system: An educational project. In Proc. Workshop on Practical Use of High-Level Nets, Aarhus, Denmark, June 2000, pages 55-72, 2000. Proceedings published as Report DAIMI-PB 547, Aarhus, Denmark.

• S. Christensen and L. Petrucci. Modular analysis of Petri nets. The Computer Journal, 43(3):224-242, 2000.

• L. Petrucci. Design and validation of a controller. In Proc. 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI'2000), Orlando, FL, USA, July 2000, volume VIII, pages 684-688. International Institute of Informatics and Systemics, 2000.

• K. Barkaoui and L. Petrucci. Structural analysis of workflow nets with shared resources. In Proc. Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), Lisbon, Portugal, June 1998, pages 82-95, 1998. Proceedings published as Computing Science Report 98/7, Eindhoven University of Technology, NL.

• S. Christensen and L. Petrucci. How to determine and use place flows in coloured Petri nets. In Proc. IEEE Int. Conf. Systems, Man, and Cybernetics (SMC'98), San Diego, CA, USA, October 1998, pages 66-71, 1998.

• F. Belala and L. Petrucci. Sémantique des ECATNets en termes de CPNets : application à un exemple de production. In Proc. 1ère Conférence Francophone de Modélisation et de simulation (MOSIM'97), Rouen, France, June 1997. Hermès, 1997.

• M. Maouche, M. Bettaz, G. Berthelot, and L. Petrucci. Du vrai parallélisme dans les réseaux algébriques et de son application dans les systèmes de production. In Proc. 1ère Conférence Francophone de Modélisation et de simulation (MOSIM'97), Rouen, France, June 1997. Hermès, 1997.

• S. Christensen and L. Petrucci. Modular state space analysis of coloured Petri nets. In Proc. 16th Int. Conf. Application and Theory of Petri Nets (ICATPN'95), Turin, Italy, June 1995, volume 935 of Lecture Notes in Computer Science, pages 201-217. Springer, 1995.

• A. Finkel, O. Marcé, and L. Petrucci. Un algorithme en n^3/2 pour le problème de la borne des bonnes places d'un réseau de Petri. In Proc. 4ième Colloque Francophone sur l'Ingénierie des Protocoles, Rennes, France, pages 401-418. Hermès, 1995.

• A. Finkel and L. Petrucci. Propriétés de la composition/décomposition de réseaux de Petri et de leurs graphes de couverture. RAIRO Informatique Théorique et Applications, 28(2):73-124, 1994.

• L. Petrucci. Les réseaux de Petri pour la modélisation et la validation de systèmes parallèles asynchrones. In Congrès AFCET, Versailles, France, June 1993, 1993.

• E. Battiston, L. Petrucci, and L. Rapanotti. Establishing a relationship between OBJSA nets and algebraic net schemes. Technical report, ESPIT BRA 3148 DEsign Methods based On Nets (DEMON), 1992.

• G. Berthelot, C. Johnen, and L. Petrucci. PAPETRI : environment for the analysis of Petri nets. In Proc. 2nd Int. Workshop Computer-Aided Verification (CAV'90), New Brunswick, NJ, USA, June 1990, volume 3 of Series in Discrete Mathematics and Theoretical Computer Science (DIMACS), pages 43-55. American Mathematical Society, 1992.

• S. Christensen and L. Petrucci. Towards a modular analysis of coloured Petri nets. In Proc. 13th Int. Conf. Application and Theory of Petri Nets (ICATPN'92), Sheffield, UK, June 1992, volume 616 of Lecture Notes in Computer Science, pages 113-133. Springer, 1992.

• C. Dimitrovici, U. Hummert, and L. Petrucci. Semantics, composition and net properties of algebraic high-level nets. In Advances in Petri Nets 1991, volume 524 of Lecture Notes in Computer Science, pages 93-117. Springer, 1992.

• A. Finkel and L. Petrucci. Avoiding state explosion by composition of minimal covering graphs. In Proc. 3rd Int. Workshop Computer Aided Verification (CAV'91), Aalborg, Denmark, July 1991, volume 575 of Lecture Notes in Computer Science, pages 169-180. Springer, 1992.

• A. Finkel, C. Johnen, and L. Petrucci. Decomposition of Petri nets for parallel analysis. Technical report, LIFAC, École Normale Supérieure de Cachan, 1992.

• C. Johnen and L. Petrucci. Computation of P-invariants for integer nets : application to the analysis of algebraic nets. Technical report, CEDRIC, Conservatoire National des Arts et Métiers, 1991.

• L. Petrucci. Smaller covering trees for coloured nets and semi-covering trees for algebraic nets. Technical report, CEDRIC, Conservatoire National des Arts et Métiers, 1991.

• L. Petrucci. Techniques d'analyse des réseaux de Petri algébriques. Thèse de Doctorat, Univ. Pierre et Marie Curie-Paris VI, France, January 1991.

• G. Berthelot, A. Finkel, C. Johnen, and L. Petrucci. A generic example for testing performance of reachability and covering graphs construction algorithms. Petri Nets Newsletter, 35:6-7, 1990.

• C. Dimitrovici, U. Hummert, and L. Petrucci. The properties of algebraic nets schemes in some semantics. In Proc. 11th Int. Conf. Application and Theory of Petri Nets (ICATPN'90), Paris, France, June 1990, pages 180-203, 1990.

• L. Petrucci. Combining Finkel's and Jensen's reduction techniques to build covering trees for coloured nets. Petri Nets Newsletter, 36:32-36, 1990.

• G. Berthelot and L. Petrucci. Putting algebraic nets into practice. Technical report, CEDRIC, Conservatoire National des Arts et Métiers, 1989.