Petrucci, L.

• Lakos, C.; Petrucci, L.:
  Modular state space exploration for timed petri nets. 2007.

• Hillah, L.; Kordon, F.; Petrucci, L.; Treves, N.:
  PN Standardisation: A Survey. 2006.

• Hillah, L.; Kordon, F.; Petrucci, L.; Trèves, N.:
  PN Standardisation: A Survey. 2006.

• Choppy, Christine; Petrucci, Laure:
  Towards a Metodology for Modelling with Petri Nets. 2004.

• Kristensen, Lars M.; Petrucci, Laure:
  An Approach to Distributed State Space Exploration for Coloured Petri Nets. 2004.

• Lakos, Charles; Petrucci, Laure:
  Modular Analysis of Systems Composed of Semiautonomous Subsystems. 2004.

• Billington, Jonathan; Christensen, Søren; van Hee, Kees; Kindler, Ekkart; Kummer, Olaf; Petrucci, Laure; Post, Reinier; Stehno, Christian; Weber, Michael:
  The Petri Net Markup Language: Concepts, Technology, and Tools. 2003.

• Petrucci, Laure; Billington, Jonathan; Kristensen, Lars M.; Qureshi, Zahid H.:
  Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft. 2003.

• Petrucci, L.; Kristensen, L. M.; Billington, J.; Qureshi, Z. H.:
  Towards Formal Specification and Analysis of Avionics Mission Systems. 2002.

• Christensen, S.; Petrucci, L.:
  Modular analysis of Petri nets. 2000.

• Berthelot, G.; Petrucci, L.:
  Specification and Validation of a Concurrent System: An Educational Project. 2000.

• Christensen, S.; Petrucci, L.:
  How to determine and use place flows in colored Petri nets. 1998.

• Christensen, Søren; Petrucci, L.:
  Modular State Space Analysis of Coloured Petri Nets. 1995.

• Finkel, A.; Petrucci, L.:
  Composition and decomposition of Petri nets and their coverability graphs (in Frech). 1994.

• Christensen, Søren; Petrucci, Laure:
  Towards a Modular Analysis of Coloured Petri Nets. 1992.

• Dimitrovici, Cristian; Hummert, Udo; Petrucci, Laure:
  Semantics, Composition and Net Properties of Algebraic High-Level Nets. 1991.

• Finkel, A.; Johnen, C.; Petrucci, L.:
  Compositional and parallel analysis of Petri nets. 1991.

• Finkel, A.; Petrucci, L.:
  Avoiding State Explosion by Composition of Minimal Covering Graphs. 1991.

• Battiston, Eugenio; Petrucci, Laure; Rapanotti, Lucia:
  Establishing a Relationship Between OBJSA Nets and Algebraic Net Schemes. 1991.

• Johnen, Colette; Petrucci, Laure:
  Computation of P-Invariants for Integer Nets: Application to the Analysis of Algebraic Nets. 1991.

• Petrucci, Laure:
  Techniques d'Analyse des Réseaux de Petri Algébraiques. 1991.

• Dimitrovici, Cristian; Hummert, Udo; Petrucci, Laure:
  The Properties of Algebraic Net Schemes in Some Semantics. 1990.

• Petrucci, L.:
  Combining Finkel's and Jensen's Reduction Techniques to Build Covering Trees for Coloured Nets. 1990.

• Finkel, Alain; Petrucci, Laure:
  Propriétés de la composition/décomposition de résaux de Petri et de leurs graphes de couverture. 1990.

• Berthelot, G.; Finkel, A.; Johnen, C.; Petrucci, L.:
  A Generic Example for Testing Performance of Reachability and Covering Graphs Construction Algorithms. 1990.

• Dimitrovici, Cristian; Hummert, Udo; Petrucci, Laure:
  The Properties of Algebraic Nets Schemes in some Semantics. 1990.

• Berthelot, G.; Pétrucci, L.:
  Putting Algebraic Nets into Practice. 1989.

• Berthelot, G.; Johnen, C.; Petrucci, L.:
  PAPETRI: poste d'analyse des réseaux de Petri. 1989.

• Mazouz, S.; Petrucci, L.:
  Modular Discrete Pseudo-State Graphs for Time Petri Nets. 06.

Back to the Petri Nets Bibliography