Publications

Books

Distributed Systems: Design and Algorithms
S. Haddad, F. Kordon, L. Pautet, and L. Petrucci
John Wiley & Sons, May 2011
Models and Analysis in Distributed Systems
S. Haddad, F. Kordon, 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, 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, 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, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, and Ph. Schnoebelen
Springer, 3-540-41523-8, 2001

Book chapters

Parallel Model Checking Algorithms for Linear-Time Temporal Logic
J. Barnat, V. Bloemen, A. Duret-Lutz, A. Laarman, L. Petrucci, J. van de Pol and É. Renault
457-507, Springer, Handbook of Parallel Constraint Reasoning, 12, L. Sais and Y. Hamadi (eds.), 2018.
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 (eds.), April 2011
Modular Synthesis of Petri Nets from Regular Languages
E. Badouel, P. Darondeau, and L. Petrucci
1--21, Universities Press, Perspectives in Concurrency Theory, K. Lodaya and M. Mukund (eds.), December 2008
Semantics, composition and net properties of algebraic high-level nets
C. Dimitrovici, U. Hummert, and L. Petrucci
93-117, Springer, Lecture Notes in Computer Science, 524, Advances in Petri Nets 1991, 1992

Edition of collective works

Proceedings of the 43rd International Conference on Petri Nets and other Models of Concurrency (PetriNets'22), Bergen, Norway
13288, Springer, Lecture Notes in Computer Science, L. Bernardinello and L. Petrucci, June 2022
Proceedings of the International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2017), Torino, Italy
Springer, Lecture Notes in Computer Science, 10471, A. Cavalcanti, L. Petrucci, and C. Seceleanu, September 2017
Proceedings of the 2nd French-Singaporean workshop on Formal Models and Applications, Singapore
156, Electronic Proceedings in Theoretical Computer Science, S.W. Lin and L. Petrucci, May 2014
Special Issue on Application and Theory of Petri Nets
1--2, Fundamenta Informaticae, 122, L. Kristensen, 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, 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

Distributed parametric model checking timed automata under non-Zenoness assumption
É. André, H. G. Nguyen, L. Petrucci and J. Sun
Springer, Formal Methods in System Design, November 2022.
Quasi-Optimal Partial Order Reduction
C. Coti, L. Petrucci, C. Rodríguez and M. Sousa
1--31, Springer, Formal Methods in System Design, October 2020.
Parametric Verification: An Introduction
É. André, M. Knapik, D. Lime, W. Penczek and L. Petrucci
64--100, Springer, Lecture Notes in Computer Science, 14, Transactions on Petri Nets and Other Models of Concurrency, November 2019
Timed ATL: Forget Memory, Just Count
É. André, W. Jamroga, M. Knapik, W. Penczek and L. Petrucci
197--223, Journal of Artificial Intelligence Research, 66, September 2019
Specialisation and Generalisation of Processes
C. Choppy, J. Desel, and L. Petrucci
Special Issue on Conceptual Modelling in Honour of Heinrich C. Mayr, Enterprise Modelling and Information Systems Architectures, 13:1, 35-46, GI - German Informatics Society, February 2018
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, C. Lakos, 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, A. Dedova, S. Evangelista, K. Klai, 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, 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, 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, A. Finkel, 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, 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

CosyVerif: an Online Verification Platform
J. Arias, B. Barbot, F. Hulin-Hubard, F. Kordon, and L. Petrucci
Gesellschaft für Informatik, Petri Net Newsletter, May 2021
Congestion Verification on Abstracted Wireless Sensor Networks with WSN-PN Tool
K. Le, T. Bui, T. T. Quan, L. Petrucci, and É.André
1, 33-40, 4, Journal of Advances in Computer Networks, March 2016
Guidelines for Application Papers submitted to PETRI NETS
K. van Hee, L. M. Kristensen, and L. Petrucci
Gesellschaft für Informatik, Petri Net Newsletter, October 2010
A primer on the Petri Net Markup Language and ISO/IEC 15909-2
L. Hillah, E. Kindler, F. Kordon, 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, 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, A. Finkel, 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

Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
J. Arias, K. Bae, C. Olarte, P. Ölveczky, L. Petrucci and F. Rømming
Springer, Lecture Notes in Computer Science, 44th International Conference on Petri Nets and other Models of Concurrency (PetriNets'23), Lisbon, Portugal, June 2023
Strategic (Timed) Computation Tree Logic
J. Arias, W. Jamroga, W. Penczek, L. Petrucci and T. Sidoruk
22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS'23), London, UK, May 2023
Modular Analysis of Tree-Topology Models
J. Arias, M. Knapik, W. Penczek and L. Petrucci
Springer, Lecture Notes in Computer Science, 23rd International Conference on Formal Engineering Methods (ICFEM'22), Madrid, Spain, October 2022
Efficient Convex Zone Merging in Parametric Timed Automata
É. André, D. Marinho, L. Petrucci and J. van de Pol
Springer, Lecture Notes in Computer Science, 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022), Warsaw, Poland, September 2022
A Formal Model for Fault Tolerant Parallel Matrix Factorization
C. Coti, L. Petrucci and D.A. Torres Gonzalez
IEEE, 26th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'22), Hiroshima City, Japan, March 2022
Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks
S. Avengelista, L.M. Kristensen and L. Petrucci
IEEE, 26th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'22), Hiroshima City, Japan, March 2022
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees
J. Arias, Ł. Maśko, W. Penczek, L. Petrucci and T. Sidoruk
IEEE, 26th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'22), Hiroshima City, Japan, March 2022
Fault-tolerant LU factorisation is low cost
C. Coti, L. Petrucci and D.A. Torres Gonzalez
Springer, Lecture Notes in Computer Science, 27th International European Conference on Parallel and Distributed Computing (Euro-Par'21), Lisbon, Portugal, August 2021
ADT2AMAS: Managing Agents in Attack-Defence Scenarios
J. Arias, W. Penczek, L. Petrucci and T. Sidoruk
20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'21), May 2021. [Tool paper + Artefact + Poster]
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata
É. André, J. Arias, L. Petrucci and J. van de Pol
311-329, Springer, Lecture Notes in Computer Science, 12651, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21), March 2021. [Regular paper + Artefact]
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems
J. Arias, C. E. Budde, W. Penczek, L. Petrucci, T. Sidoruk and M. Stoelinga
3-19, Springer, Lecture Notes in Computer Science, 12531, 22nd International Conference on Formal Engineering Methods (ICFEM'20), Singapore, March 2021
Squeezing State Spaces of (Attack-Defence) Trees
M. Knapik, W. Penczek, L. Petrucci and T. Sidoruk
71-80, IEEE, 24th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'19), Guangzhou, China, November 2019
Minimal-Time Synthesis for Parametric Timed Automata
É. André, V. Bloemen, L. Petrucci and J. van de Pol
432-446, Springer, Lecture Notes in Computer Science, 11428, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19), Prague, Czech Republic, April 2019. [Regular paper + Artefact + Poster]
Layered and Collecting NDFS with Subsumption for Parametric Timed Automata
H. G. Nguyen, L. Petrucci and J. van de Pol
IEEE, 23rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'18), Melbourne, Australia, A.W. Lin et J. Sun (eds.), December 2018
State Compression Based on One-Sided Communications for Distributed Model Checking
C. Coti, S. Evangelista and L. Petrucci
IEEE, 23rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'18), Melbourne, Australia, A.W. Lin et J. Sun (eds.), December 2018
One-Sided Communications for more Efficient Parallel State Space Exploration over RDMA Clusters
C. Coti, S. Evangelista and L. Petrucci
432-446, Springer, Lecture Notes in Computer Science, 11014, 24th International European Conference on Parallel and Distributed Computing (Euro-Par'18), Torino, Italy, August 2018
Quasi-Optimal Partial Order Reduction
H. T. T. Nguyen, C. Rodríguez, M. Sousa, C. Coti, and L. Petrucci
354-371, Springer, Lecture Notes in Computer Science, 10982, 30th International Conference on Computer Aided Verification (CAV'18), Oxford, UK, H. Chockler and G. Weissenbacher (eds.), July 2018. [Regular paper + Artefact]
Parameter Synthesis Algorithms for Parametric Interval Markov Chains
L. Petrucci and J. van de Pol
21-140, Springer, Lecture Notes in Computer Science, 10854, 38th IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'18), Madrid, Spain, C. Baier and L. Caires (eds.), June 2018
Efficient parameter synthesis using optimized state exploration strategies
É. André, H. G. Nguyen, and L. Petrucci
1-10, IEEE, 22nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'17), Fukuoka, Japan, Z. Hu and G. Bai (eds.), November 2017
Parametric model checking timed automata under non-Zenoness assumption
É. André, H.G. Nguyen, L. Petrucci, and J. Sun
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é, M. Knapik, W. Penczek, and L. Petrucci
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
B. Delahaye, D. Lime, and L. Petrucci
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
K. Le, T. Bui, T. T. Quan, and L. Petrucci
450-454, IEEE, 8th IEEE Int. Conf. on Communication Software and Networks (ICCSN'16), Beijing, China, June 2016
Decrypting Cryptography
É. André, and L. Petrucci
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
D. T. Le, H. V. Nguyen, V. T. Nguyen, P. N. Mai, T. T. Quan, É. André, L. Petrucci, and Y. Liu
(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, F. Cassez and J.-F. Raskin (eds.), November 2014
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems
É. André, B. Barbot, C. Démoulins, L. Hillah, F. Hulin-Hubard, F. Kordon, 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.), October 2013
CosyVerif: An Open Source Extensible Verification Environment
É. André, L. Hillah, F. Hulin-Hubard, F. Kordon, Y. Lembachar, A. Linard, and L. Petrucci
(short paper), 33-36, IEEE, 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Singapore, Y. Liu and A. Martin (eds.), July 2013
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs
É. André, G. Pellegrino, and L. Petrucci
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, V. Braberman and L. Fribourg (eds.), August 2013
Multi-threaded Explicit State Space Exploration with State Reconstruction
S. Evangelista, 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
K. Klai, N. Aber, and L. Petrucci
117-124, IEEE, 20th IEEE International Symposium on Temporal Representation and Reasoning (TIME'13), Pensacola, FL, USA, C. Sanchez, B. Venable, and E. Zimanyi (eds.), September 2013
Verification of Reachability Properties for Time Petri Nets
K. Klai, N. Aber, and L. Petrucci
159-170, Springer, Lecture Notes in Computer Science, 8169, Uppsala, Sweden, 7th International Workshop on Reachability Problems (RP 2013), P. A. Abdulla and I. Potapov (eds.), September 2013
A Counterexample-Based Incremental and Modular Verification Approach
É. André, H. Ochi, K. Klai, and L. Petrucci
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, R.Calinescu et D. Garlan (eds.), September 2012
Improved Multi-Core Nested Depth-First Search
S. Evangelista, A. Laarman, L. Petrucci, and J. van de Pol
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, L. Petrucci, and S. Youcef
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, F. Kordon, 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, A. Dedova, S. Evangelista, S. Hong, 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, F. Kordon, L. Petrucci, 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, 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\X Properties of Petri Nets
K. Klai, 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, F. Kordon, 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 and 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
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, A. Finkel, 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, L. M. Kristensen, 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, J. Billington, L. Petrucci, Z. Qureshi, and R. Kiefer
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
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, 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, 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

Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
J. Arias, K. Bae, C. Olarte, P. Ölveczky, L. Petrucci and F. Rømming
Proceedings of the 8th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'22), Auckland, New Zealand, December 2022
Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction
R. D. Strand, L. Kristensen, and L. Petrucci
Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'22), Bergen, Norway, June 2022
Taming NDFS for Parametric Timed Automata
J. van de Pol, and L. Petrucci
8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS'19), Amsterdam, The Netherlands, August 2019
Process scheduling on volatile nodes for fault-tolerant linear algebra
C. Coti, L. Petrucci and D.A. Torres Gonzalez
Poster at the 3rd Workshop on Data Locality (COLOC'19), Götingen, Germany, August 2019
Pruning NDFS for Parametric Timed Automata
J. van de Pol, and L. Petrucci
6th International Workshop on Synthesis of Complex Parameters (SynCoP2019), Prague, Czech Republic, April 2019
Fault-tolerant matrix factorisation: a formal model and proof
C. Coti, L. Petrucci and D.A. Torres Gonzalez
6th International Workshop on Synthesis of Complex Parameters (SynCoP2019), Prague, Czech Republic, April 2019
Timed ATL: Forget Memory, Just Count
É. André, W. Jamroga, M. Knapik, W. Penczek, and L. Petrucci
(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
C. Coti, C. Lakos, and L. Petrucci
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
K. Le, T. Bui, T. T. Quan, and L. Petrucci
329-334, Workshop on Petri Nets and Software Engineering (PNSE'16), Torún, Poland, June 2016
Parametric Interval Markov Chains: Synthesis Revisited
L. Petrucci and J. van de Pol
Lecture Notes in Computer Science, 9583, Springer. 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é and L. Petrucci
25-40, CEUR, Workshop Proceedings, 1372, Workshop on Petri Nets and Software Engineering (PNSE'15), Brussels, Belgium, D. Moldt, H. Rölke, and H. Störrle (eds.), June 2015
Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks
K. Le, T. Bui, T. T. Quan, L. Petrucci, and É. André
342-349, ACM Press, New York, NY, USA, Sixth International Symposium on Information and Communication Technology (SoICT 2015), Hue City, Viet Nam, L. De Raedt, Y. Deville, M. Bui, and T. T. D. Linh (eds.), December 2015
Congestion Verification on Abstracted Wireless Sensor Networks with WSN-PN Tool
K. Le, T. Bui, T. T. Quan, L. Petrucci, and É. André
International Conference on Systems, Control and Communications (ICSCC'15), Singapore, November 2015
Teaching formal methods: Experience at UPMC and UP13 with CosyVerif
É. André, F. Kordon, and L. Petrucci
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
D. Genon-Catalot, L. Petrucci, and M. Tabouret
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
E. Viennet and L. Petrucci
1-6, IEEE, 13th International Conference on Information Technology Based Higher Education and Training (ITHET'14), York, UK, September 2014
Coloured Petri Nets Refinements
C. Choppy, L. Petrucci, and A. Sanogo
187-201, CEUR, Workshop Proceedings, 989, Proc. of the workshop on Petri Nets and Software Engineering (PNSE'13), Milan, Italy, D. Moldt (ed.), June 2013
Professional Experience Validation Process at a National Level
D. Genon-Catalot, L. Petrucci, and M. Tabouret
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, 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, June 2011
Extending PNML Scope: the Prioritised Petri Nets Experience
L. Hillah, C. Lakos, 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, 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, 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, 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

On Completeness of Liveness Synthesis for Parametric Timed Automata
J. van de Pol and L. Petrucci
3-10, Springer, Lecture Notes in Computer Science, 12669, Proc. 25th International Workshop on Algebraic Development Techniques (WADT'20), 2021
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, S. Christensen, K. van Hee, E. Kindler, O. Kummer, L. Petrucci, R. Post, 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é, D. Lime, W. Penczek, and L. Petrucci
1-day tutorial at Petri Nets'17, Zaragossa, Spain, June 2017
Parametric Verification
É. André, D. Lime, W. Penczek, and L. Petrucci
1-day tutorial at Petri Nets'16, Toru\'n, Poland, June 2016
From Symmetric Nets to Symmetric Nets with Bags
S. Baarir, 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, 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, S. Haddad and H. Klaudel, F. Kordon, 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