Publications

Books

Distributed Systems: Design and Algorithms
S. Haddad and F. Kordon and L. Pautet and L. Petrucci
John Wiley & Sons, May 2011
Models and Analysis in Distributed Systems
S. Haddad and F. Kordon and L. Pautet and L. Petrucci
John Wiley & Sons, May 2011
Systèmes répartis en action : de l'embarqué aux systèmes large échelle
F. Kordon and L. Pautet and L. Petrucci
Hermès, 978-2-7462-1943-4, 2008
Méthodes formelles pour les systèmes répartis et coopératifs
S. Haddad and F. Kordon and L. Petrucci
Hermès, 2-7462-1447-4, November 2006
Systems and Software Verification. Model-Checking Techniques and Tools
B. BĂ©rard and M. Bidoit and A. Finkel and F. Laroussinie and A. Petit and L. Petrucci and Ph. Schnoebelen
Springer, 3-540-41523-8, 2001

Book chapters

Parallel LTL Model Checking Algorithms
J. Barnat and V. Bloemen and A. Duret-Lutz and A. Laarman and L. Petrucci and J. van de Pol and E. Renault
54 pages, 453--504, Springer, Handbook of Parallel Constraint Reasoning, 12, L. Sais and Y. Hamadi (eds.), 2017. To appear
Modular State Spaces for Prioritised Petri nets
C. Lakos and L. Petrucci
136--156, Springer, Lecture Notes in Computer Science, 6662, Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop, Redmond, WA, USA, March 31--April 2, 2010, Revised Selected Papers, R. Calinescu and E. Jackson, April 2011
Modular Synthesis of Petri Nets from Regular Languages
E. Badouel and P. Darondeau and L. Petrucci
1--21, Universities Press, Perspectives in Concurrency Theory, K. Lodaya and M. Mukund, December 2008
Semantics, composition and net properties of algebraic high-level nets
C. Dimitrovici and U. Hummert and L. Petrucci
93--117, Springer, Lecture Notes in Computer Science, 524, Advances in Petri Nets 1991, 1992

Edition of collective works

International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, Torino, Italy
Springer, Lecture Notes in Computer Science, 10471, International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2017), Torino, Italy, A. Cavalcanti and L. Petrucci and C. Seceleanu, September 2017
2nd French-Singaporean workshop on Formal Models and Applications, Singapore
156, Electronic Proceedings in Theoretical Computer Science, 2nd French-Singaporean workshop on Formal Models and Applications, Singapore, S.W. Lin and L. Petrucci, May 2014
Special Issue on Application and Theory of Petri Nets
1--2, Fundamenta Informaticae, 122, L. Kristensen and W. Penczek and L. Petrucci, 2013
Proceedings of the 32nd International Conference on Petri Nets and other Models of Concurrency (PetriNets'11), Newcastle-upon-Tyne, UK
6709, Springer, Lecture Notes in Computer Science , Proceedings of the 32nd International Conference on Petri Nets and other Models of Concurrency (PetriNets'11), Newcastle-upon-Tyne, UK, L. Kristensen and L. Petrucci, June 2011
Fifth Special Issue on Application of Concurrency to System Design
3, Fundamenta Informaticae, 86, R. Janicki and L. Petrucci, 2008

International journals

From Code to Coloured Petri Nets: Modelling Guidelines
A. Dedova and L. Petrucci
71--88, Springer, Lecture Notes in Computer Science , 8, Transactions on Petri Nets and Other Models of Concurrency, 2013
Distributed CTL Model-Checking and counterexample search
C. Boukala and L. Petrucci
1, 44--59, Inderscience, 3, International Journal of Critical Computer-Based Systems, January 2012
Extending PNML Scope: a Framework to Combine Petri Nets Types
L. Hillah and C. Lakos and F. Kordon and L. Petrucci
46--70, Springer, Lecture Notes in Computer Science , 6, Transactions on Petri Nets and Other Models of Concurrency, November 2012
Modelling and formal verification of the NEO protocol
C. Choppy and A. Dedova and S. Evangelista and K. Klai and L. Petrucci and S. Youcef
197--225, Springer, Lecture Notes in Computer Science , 6, Transactions on Petri Nets and Other Models of Concurrency, November 2012
Coloured Petri net refinement specification and correctness proof with Coq
C. Choppy and M. Mayero and L. Petrucci
195--202, Springer, 3, Innovations in Systems and Software Engineering, April 2010
Application des méthodes formelles à la robotique modulaire --- Méthodes formelles pour l'analyse des robots autonomes et modulaires
L. Hillah and F. Kordon and L. Petrucci
4, 459--478, Hermès, 42, Journal Euopéen des Systèmes automatisés, 2008
FAST: Acceleration from theory to practice
S. Bardin and A. Finkel and J. Leroux and L. Petrucci
5, 401--424, 10, Journal of Software Tools for Technology Transfer, October 2008
Modular State Space Exploration for Timed Petri Nets
C. Lakos and L. Petrucci
3--4, 393--411, 9, Journal of Software Tools for Technology Transfer, June 2007
FAST Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets
J. Billington and G. E. Gallasch and L. Petrucci
3, 275--307, 12, Nordic Journal of Computing, Fall 2005
Specification and Validation of a Concurrent System: An Educational Project
G. Berthelot and L. Petrucci
4, 372--381, 3, Journal of Software Tools for Technology Transfer, 2001
Modular analysis of Petri nets
S. Christensen and L. Petrucci
3, 224--242, 43, The Computer Journal, 2000

Other journals

Congestion Verification on Abstracted Wireless Sensor Networks with WSN-PN Tool
Le, K. and Bui, T. and Quan, T. and Petrucci, L. and André, E.
1, 33--40, 4, Journal of Advances in Computer Networks, March 2016
Guidelines for Application Papers submitted to PETRI NETS
van Hee, K. and Kristensen, L. M. and Petrucci, L.,
Gesellschaft fĂĽr Informatik, Petri Net Newsletter, October 2010
A primer on the Petri Net Markup Language and ISO/IEC 15909-2
L. Hillah and E. Kindler and F. Kordon and L. Petrucci and N. Trèves
9--28, Gesellschaft fĂĽr Informatik, 76, Petri Net Newsletter (originally presented at the 10th International workshop on Practical Use of Coloured Petri Nets and the CPN Tools -- CPN'09), October 2009
Cover Picture Story: Experiments with Modular State Spaces
L. Petrucci
Cover page and 5--10, 68, Petri Net Newsletter, April 2005
Concurrent systems analysis using ECATNets
F. Belala and M. Bettaz and L. Petrucci
2, 149--164, 8, Logic Journal of the IGPL, 2000
Propriétés de la composition/décomposition de réseaux de Petri et de leurs graphes de couverture
A. Finkel and L. Petrucci
2, 73--124, 28, RAIRO Informatique Théorique et Applications, 1994
A generic example for testing performance of reachability and covering graphs construction algorithms
G. Berthelot and A. Finkel and C. Johnen and L. Petrucci
6--7, 35, Petri Net Newsletter, 1990
Combining Finkel's and Jensen's reduction techniques to build covering trees for coloured nets
L. Petrucci
32--36, 36, Petri Net Newsletter, 1990

International Conferences

Efficient parameter synthesis using optimized state exploration strategies
André, Etienne and Nguyen, Hoang Gia and Petrucci, Laure
10 pages, IEEE, 22nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'17), Fukuoka, Japan, Zhenjiang Hu and Guangdong Bai (eds.), November 2017. To appear
Parametric model checking timed automata under non-Zenoness assumption
André, É. and Nguyen, H. G. and Petrucci, L. and Sun, J.
35--51, Springer, Lecture Notes in Computer Science , 10227, Proc. of the 9th NASA Formal Methods Symposium (NFM2017), Moffett Field, CA, USA, May 2017
Controlling Actions and Time in Parametric Timed Automata
André, E. and Knapik, M. and Penczek, W. and Petrucci, L.
45--54, IEEE, 16th Int. Conf. on Application of Concurrency to System Design (ACSD'16), TorĂşn, Poland, June 2016
Parameter Synthesis for Parametric Interval Markov Chains
Delahaye, B. and Lime, D. and Petrucci, L.
372--390, Springer, Lecture Notes in Computer Science, 9583, 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'16), St. Petersburg, Florida, USA, January 2016
COCA: Congestion-Oriented Clustering Algorithm for Wireless Sensor Networks
Le, K. and Bui, T. and Quan, T. and Petrucci, L.
450-454, IEEE, 8th IEEE Int. Conf. on Communication Software and Networks (ICCSN'16), Beijing, China, June 2016
Decrypting Cryptography
André, É. and Petrucci, L.
IEEE Computer Society, Proc. of the 14th International Conference on Information Technology Based Higher Education and Training (ITHET'15), Lisbon, Portugal, June 2015
PeCAn: Compositional Verification of Petri Nets Made Easy
Le, Dinh-Thuan and Nguyen, Huu-Vu and Nguyen, Van-Tinh and Mai, Phuong-Nam and Quan, Thanh-Tho and André, Etienne and Petrucci, Laure and Liu, Yang
(Tool paper), 242--247, Springer, Lecture Notes in Computer Science, 8837, 12th International Symposium on Automated Technology for Verification and Analysis (ATVA'14), Sydney, Australia, 10.1007/978-3-319-11936-6_18, Cassez, Franck and Raskin, Jean-Francois (eds.), November 2014
Verification of Reachability Properties for Time Petri Nets
K. Klai and N. Aber and L. Petrucci
159--170, Springer, Lecture Notes in Computer Science, 8169, Uppsala, Sweden, Proc. of the 7th International Workshop on Reachability Problems (RP 2013), Abdulla, P. A. and Potapov, I. (eds.), September 2013
A New Approach To Abstract Reachability State Space of Time Petri Nets
K. Klai and N. Aber and L. Petrucci
IEEE Computer Society, 20th International Symposium on Temporal Representation and Reasoning (TIME'13), Pensacola, FL, USA, C. Sanchez and B. Venable and E. Zimanyi, September 2013
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems
E André and B. Barbot and C. Démoulins and L. Hillah and F. Hulin-Hubard and F. Kordon and A. Linard and L. Petrucci,
199--214, Springer, Lecture Notes in Computer Science, 8144, 15th International Conference on Formal Engineering Methods (ICFEM 2013), Queenstown, New Zealand, L. Groves and J. Sun (eds.), http://dx.doi.org/10.1007/978-3-642-41202-8_14, 978-3-642-41201-1, October 2013
CosyVerif: An Open Source Extensible Verification Environment
André, E. and Hillah, L. and Hulin-Hubard, F. and Kordon, F. and Lembachar, Y. and Linard, A. and Petrucci, L.
(short paper), 33--36, IEEE, 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Singapore, 10.1109/ICECCS.2013.15, Liu, Yang and Martin, Andrew (eds.), July 2013
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs
André, E. and Pellegrino, G. and Petrucci, L.
1--15, Springer, Lecture Notes in Computer Science, 8053, 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'13), Buenos Aires, Argentina, Braberman, Victor and Fribourg, Laurent (eds.), August 2013
Multi-threaded Explicit State Space Exploration with State Reconstruction
S. Evangelista and L. M. Kristensen and L. Petrucci
208--223, Springer, Lecture Notes in Computer Science, 8172, 11th International Symposium on Automated Technology for Verification and Analysis (ATVA13), HanoĂŻ, Vietnam, October 2013
A New Approach to Abstract Reachability State Space of Time Petri Nets
Kais Klai and Naim Aber and Laure Petrucci
117--124, IEEE, 20th IEEE International Symposium on Temporal Representation and Reasoning (TIME'13), Pensacola, FL, USA, C. Sanchez and B. Venable and E. Zimanyi (eds.), September 2013
Verification of Reachability Properties for Time Petri Nets
K. Klai and N. Aber and L. Petrucci
159--170, Springer, Lecture Notes in Computer Science, 8169, Uppsala, Sweden, 7th International Workshop on Reachability Problems (RP 2013), Abdulla, P. A. and Potapov, I. (eds.), September 2013
A Counterexample-Based Incremental and Modular Verification Approach
André, Etienne and Ochi, Hanen and Klai, Kais and Petrucci, Laure
283--302, Springer, Lecture Notes in Computer Science, 7539, Oxford, England, 17th Monterey Workshop on Development, Operation and Management of Large-Scale Complex IT Systems, Calinescu, Radu and Garlan, David (eds.), September 2012
Improved Multi-Core Nested Depth-First Search
Evangelista, S. and Laarman, A. and Petrucci, L. and van de Pol, J.
269--283, Springer, Lecture Notes in Computer Science, 7561, 10th International Symposium on Automated Technology for Verification and Analysis (ATVA12), Thiruvananthapuram, India, October 2012
Parallel Nested Depth-First Searches for LTL Model Checking
S. Evangelista and L. Petrucci and S. Youcef
apar, 381--396, Springer, Lecture Notes in Computer Science, 6996, Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA11), Taipei, Taiwan, October 2011
PNML Framework: an extendable reference implementation of the Petri Net Markup Language
L. Hillah and F. Kordon and L. Petrucci and N. Trèves
, 318--327, Springer, Lecture Notes in Computer Science, 6128, Proceedings of the 31st International Conference on Petri Nets and other Models of Concurrency (PetriNets'10), June 2010
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification
C. Choppy and A. Dedova and S. Evangelista and S. Hong and K. Klai and L. Petrucci
145--164, Springer, Lecture Notes in Computer Science, 6128, Proceedings of the 31st International Conference on Petri Nets and other Models of Concurrency (PetriNets'10), June 2010
Towards a Standard for Modular Petri Nets: A Formalisation
E. Kindler and L. Petrucci
43--62, Springer, Lecture Notes in Computer Science, 5606, Proceedings of the 30th International Conference on Petri Nets and other Models of Concurrency (PetriNets'09), June 2009
Efficient state-based analysis by introducing bags in Petri nets colour domains
S. Haddad and F. Kordon and L. Petrucci and J.F. Pradat-Peyre and N. Trèves
5018--5025, IEEE Comp. Soc. Press, Proc. 28th American Control Conference (ACC2009), St Louis, Missouri, USA, June 2009
A modelling approach with coloured Petri nets
C. Choppy and L. Petrucci and G. Reggio
73--86, Springer, Lecture Notes in Computer Science, 5026, Proc. 13th Int. Conf. on Reliable Software Technologies --- Ada-Europe, Venice, Italy, June 2008
Modular Construction of the Symbolic Observation Graph
K. Klai and L. Petrucci
88--97, IEEE Comp. Soc. Press, Proc. 8th Int. Conf. on Application of Concurrency to System Design (ACSD'08), Xi'an, China, June 2008
An Incremental and Modular Technique for Checking LTL$\setminus$X Properties of Petri Nets
K. Klai and L. Petrucci and M. Reniers
280-295, Springer, Lecture Notes in Computer Science, 4574, Proc. 27th International Conference on Formal Methods for Networked and Distributed Systems (FORTE'07), Tallinn, Estonia, June 2007
PN standardisation: a survey
L. Hillah and F. Kordon and L. Petrucci and N. Trèves
307--322, Springer, Lecture Notes in Computer Science , 4229, Proc. 26th International Conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Paris, France, E. Najm, J.-F. Pradat-Peyre (eds.), September 2006
Modular Analysis of Systems Composed of Semiautonomous Subsystems
C. Lakos and L. Petrucci
185--194, IEEE Computer Society Press, Proc. 4th Int. Conf. on Application of Concurrency to System Design (ACSD'04), Hamilton, Canada, June 2004, Juin 2004
An Approach to Distributed State Space Exploration for Coloured Petri Nets
L. Kristensen and L. Petrucci
474--483, Springer, Lecture Notes in Computer Science, 3099, Proceedings of the 25th International Conference on Petri Nets and other Models of Concurrency (PetriNets'04), June 2004
FAST: Fast Acceleration of Symbolic Transition systems
S. Bardin and A. Finkel and J. Leroux and L. Petrucci
118--121, Springer, Lecture Notes in Computer Science, 2725, Proc. 15th Int. Conf. on Computer Aided Verification (CAV'2003), Boulder, CO, USA, July 2003
Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft
L. Petrucci and L. M. Kristensen and J. Billington and Z. H. Qureshi
92--101, IEEE Computer Society Press, Proc. 3rd Int. Conf. on Application of Concurrency to System Design (ACSD'03), GuimarĂŁes, Portugal, June 2003
Formal specification and analysis of airborne mission systems
L. M. Kristensen and J. Billington and L. Petrucci and Z. Qureshi and R. Kiefer
4.D.4--1--4.D.4--13, 1, Proc. 21st IEEE Digital Avionics Systems Conference (DASC'2002), Irvine, CA, USA, October 2002
How to determine and use place flows in coloured Petri nets
S. Christensen and L. Petrucci
ant, 66--71, Proc. IEEE Int. Conf. Systems, Man, and Cybernetics (SMC'98), San Diego, CA, USA, October 1998
Modular state space analysis of coloured Petri nets
S. Christensen and L. Petrucci
201--217, Springer, Lecture Notes in Computer Science, 935, Proc. 16th Int. Conf. Application and Theory of Petri Nets (ICATPN'95), Turin, Italy, June 19955
Avoiding state explosion by composition of minimal covering graphs
A. Finkel and L. Petrucci
169--180, Springer, Lecture Notes in Computer Science, 575, Proc. 3rd Int. Workshop Computer Aided Verification (CAV'91), Aalborg, Denmark, July 1991
PAPETRI : environment for the analysis of Petri nets
G. Berthelot and C. Johnen and L. Petrucci
43--55, American Mathematical Society, Series in Discrete Mathematics and Theoretical Computer Science (DIMACS), 3, Proc. 2nd Int. Workshop Computer-Aided Verification (CAV'90), New Brunswick, NJ, USA, June 1990, 1992
Towards a modular analysis of coloured Petri nets
S. Christensen and L. Petrucci
113--133, Springer, Lecture Notes in Computer Science, 616, Proc. 13th Int. Conf. Application and Theory of Petri Nets (ICATPN'92), Sheffield, UK, June 1992
The properties of algebraic nets schemes in some semantics
C. Dimitrovici and U. Hummert and L. Petrucci
180--203, Proc. 11th Int. Conf. Application and Theory of Petri Nets (ICATPN'90), Paris, France, June 1990

Workshops, posters and other conferences

Timed ATL: Forget Memory, Just Count
André, É. and Jamroga, W. and Knapik, M. and Penczek, W. and Petrucci, L.
(poster), 1460--1462, ACM Press, 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2017), SĂŁo Paulo, Brazil, May 2017
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm
Coti, C. and Lakos, C. and Petrucci, L.
255--274, Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'16), TorĂşn, Poland, June 2016
A Framework for Fast Congestion Detection in Wireless Sensor Networks Using Clustering and Petri Net-based Verification
Le, K. and Bui, T. and Quan, T. and Petrucci, L.
329--334, Workshop on Petri Nets and Software Engineering (PNSE'16), TorĂşn, Poland, June 2016
Parametric Interval Markov Chains: Synthesis Revisited
Petrucci, L. and van de Pol, J.
5--8, Technical Report 2016-TR-010, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche (ISTI-CNRS), Lecture Notes in Computer Science, Research Ideas - 21st International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016), Pisa, Italy, September 2016
Unifying Patterns for Modelling Timed Relationships in Systems and Properties
André, E. and Petrucci, L.
25--40, CEUR, Workshop Proceedings, 1372, Workshop on Petri Nets and Software Engineering (PNSE'15), Brussels, Belgium, Daniel Moldt and Heiko Rölke and Harald Störrle (eds.), June 2015
Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks
Le, Khanh and Bui, Thang and Quan, Tho and Petrucci, Laure and André, Etienne
342--349, ACM Press, New York, NY, USA, Sixth International Symposium on Information and Communication Technology (SoICT 2015), Hue City, Viet Nam, 10.1145/2833258.2833298, De Raedt, Luc and Deville, Yves and Bui, Marc and Linh, Truong Thi Dieu (eds.), 978-1-4503-3843-1, December 2015
Congestion Verification on Abstracted Wireless Sensor Networks with WSN-PN Tool
Le, K. and Bui, T. and Quan, T. and Petrucci, L. and André, E.
International Conference on Systems, Control and Communications (ICSCC'15), Singapore, November 2015
Teaching formal methods: Experience at UPMC and UP13 with CosyVerif
André, Etienne and Kordon, Fabrice and Petrucci, Laure
31-34, IEEE, 25th European Association for Education in Electrical and Information Engineering annual International Conference (EAEEIE'14), Izmir, Turkey, May 2014
Nationwide Industrial Cooperation for Long-Life Learning and Apprenticeships
Genon-Catalot, D. and Petrucci, L. and Tabouret, M.
1--6, IEEE, 13th International Conference on Information Technology Based Higher Education and Training (ITHET'14), York, UK, September 2014
Monitoring Students Performances in French Institutes of Technology using the ScoDoc Software
Viennet, E. and Petrucci, L.
1--6, IEEE, 13th International Conference on Information Technology Based Higher Education and Training (ITHET'14), York, UK, September 2014
Coloured Petri Nets Refinements
Choppy, C. and Petrucci, L. and Sanogo, A.
187--201, CEUR, Workshop Proceedings, 989, Proc. of the workshop on Petri Nets and Software Engineering (PNSE'13), Milan, Italy, D. Moldt (eds), June 2013
Professional Experience Validation Process at a National Level
Genon-Catalot, D. and Petrucci, L. and Tabouret, M.
11--15, IEEE, 24th European Association for Education in Electrical and Information Engineering annual International Conference (EAEEIE'13), Chania, Greece, May 2013
Specialisation and Generalisation of Processes
C. Choppy and J. Desel and L. Petrucci
109--123, CEUR, Workshop Proceedings, 723, Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'11), Newcastle, UK, Duvigneau, Michael and Moldt, Daniel and Hiraishi, Kunihiko (eds.), 1613-0074, June 2011
Extending PNML Scope: the Prioritised Petri Nets Experience
L. Hillah and C. Lakos and F. Kordon and L. Petrucci
92--106, CEUR, Workshop Proceedings, 723, Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'11), Newcastle, UK, June 2011
Distributed CTL Model-Checking and counterexample search
C. Boukala and L. Petrucci
, 12 pages, British Computer Society, eWiC, Proc. 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS'09), Rabat, Morocco, July 2009
A framework for the definition of variants of high-level Petri nets
E. Kindler and L. Petrucci
Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, October 2009
Experimenting Formal Proofs of Petri Nets Refinements
C. Choppy and M. Mayero and L. Petrucci
231--254, Elsevier Science, entcs, 214, Proc. Workshop REFINE (associated with FM2008), Turku, Finland, May 2008
Aggregating views for Petri net model construction
J. Desel and L. Petrucci
17--31, Proc. Workshop on Petri Nets and Distributed Systems (PNDS'08, associated with Petri Nets 2008), Xi'an, China, June 2008
Designing coloured Petri net models: a method
C. Choppy and L. Petrucci and G. Reggio
Proceedings published as Report DAIMI-PB 584, Aarhus, DK, 167--186, Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, October 2007
Modular State Spaces and Place Fusion
C. Lakos and L. Petrucci
175--190, University of Podlasie, Workshop on Petri Nets and Software Engineering (PNSE'07, associated with PETRI NETS'07), Siedlce, Poland, June 2007
Modular Discrete Pseudo-State Graphs for Time Petri Nets
S. Mazouz and L. Petrucci
272, 223--244, Universität Hamburg Bericht, Workshop on Modelling of Objects, Components and Agents (MOCA'06, associated with PETRI NETS'06), Turku, Finland, June 2006
Towards a methodology for modelling with Petri nets
C. Choppy and L. Petrucci
Proceedings published as Report DAIMI-PB 570, Aarhus, DK, 39--56, Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, October 2004
COAST : des réseaux de Petri à la planification assistée
S. Bardin and L. Petrucci
285--298, Proc. 6ème Conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2004), Besançon, France, June 2004
From PNML to counter systems for accelerating Petri Nets with Fast
S. Bardin and L. Petrucci
26--40, Proc. of the Workshop on Interchange Formats for Petri Nets (at PetriNets 2004), June 2004
Specification and Validation of a Concurrent System: An Educational Project
G. Berthelot and L. Petrucci
Proceedings published as Report DAIMI-PB 547, Aarhus, DK, 55--72, Proc. Workshop on Practical Use of High-Level Nets, Aarhus, Denmark, June 2000
Structural analysis of workflow nets with shared resources
K. Barkaoui and L. Petrucci
Proceedings published as Computing Science Report 98/7, Eindhoven University of Technology, NL, 82--95, Proc. Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), Lisbon, Portugal, June 1998
Un algorithme en $n^3/2$ pour le problème de la borne des bonnes places d'un réseau de Petri
A. Finkel and O. Marcé and L. Petrucci
401--418, Hermès, Proc. 4ème Colloque Francophone sur l'Ingénierie des Protocoles, Rennes, France, 1995

Invited communications

A formal approach to designing autonomous systems: from Intelligent Transport Systems to Robots
F. Kordon and L. Petrucci
Proc. 2nd National Workshop on Control Architectures of Robots: from models to execution on distributed control architectures, Paris, France, May 2007
The Petri Net Markup Language: Concepts, Technology and Tools
J. Billington and S. Christensen and K. van Hee and E. Kindler and O. Kummer and L. Petrucci and R. Post and C. Stehno and M. Weber
483--505, Springer, Lecture Notes in Computer Science, 2679, Proc. 24th Int. Conf. Application and Theory of Petri Nets (Petri Nets'2003), Eindhoven, The Netherlands, June 2003

Tutorials in international conferences

Parametric Verification
André, E. and Lime, D. and Penczek, W. and Petrucci, L.
1-day tutorial at Petri Nets'17, Zaragossa, Spain, June 2017
Parametric Verification
André, E. and Lime, D. and Penczek, W. and Petrucci, L.
1-day tutorial at Petri Nets'16, Toru\'n, Poland, June 2016
From Symmetric Nets to Symmetric Nets with Bags
S. Baarir and F. Kordon and L. Petrucci
1-day tutorial at Petri Nets'15, Brussels, Belgium, June 2015
From Symmetric Nets to Symmetric Nets with Bags
S. Baarir and F. Kordon and L. Petrucci
1-day tutorial at Petri Nets'14, Tunis, Tunisia, June 2014
Tutorial on Formal Methods for Distributed and Cooperative Systems
C. Choppy and S. Haddad and H. Klaudel and F. Kordon and L. Petrucci and Y. Thierry-Mieg
362--365, Springer, Lecture Notes in Computer Science, 4281, Proc. 3rd Int. Coll. on Theoretical Aspects of Computing (1-day tutorial at ICTAC'06), Tunis, Tunisia, November 2006

Theses

Modélisation, vérification et applications
L. Petrucci
Habilitation Thesis, Université d'Evry, December 2002
Techniques d'analyse des réseaux de Petri algébriques
L. Petrucci
PhD, Université Pierre et Marie Curie, France, January 1991