Publications

Livres

Distributed Systems: Design and Algorithms
S. Haddad, F. Kordon, L. Pautet et L. Petrucci
John Wiley & Sons, Mai 2011
Models and Analysis in Distributed Systems
S. Haddad, F. Kordon, L. Pautet et L. Petrucci
John Wiley & Sons, Mai 2011
Systèmes répartis en action : de l'embarqué aux systèmes large échelle
F. Kordon, L. Pautet et 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 et L. Petrucci
Hermès, 2-7462-1447-4, Novembre 2006
Systems and Software Verification. Model-Checking Techniques and Tools
B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci et Ph. Schnoebelen
Springer, 3-540-41523-8, 2001

Chapitres de livres

Parallel LTL Model Checking Algorithms
J. Barnat, V. Bloemen, A. Duret-Lutz, A. Laarman, L. Petrucci, J. van de Pol et É. Renault
54 pages, Springer, Handbook of Parallel Constraint Reasoning, 13, L. Sais et Y. Hamadi (eds.), 2018.
Modular State Spaces for Prioritised Petri nets
C. Lakos et 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 et E. Jackson (eds.), Avril 2011
Modular Synthesis of Petri Nets from Regular Languages
E. Badouel, P. Darondeau et L. Petrucci
1-21, Universities Press, Perspectives in Concurrency Theory, K. Lodaya et M. Mukund (eds.), Décembre 2008
Semantics, composition and net properties of algebraic high-level nets
C. Dimitrovici, U. Hummert et L. Petrucci
93-117, Springer, Lecture Notes in Computer Science, 524, Advances in Petri Nets 1991, 1992

Édition d'ouvrages collectifs

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 et C. Seceleanu, Septembre 2017
Proceedings of the 2nd French-Singaporean workshop on Formal Models and Applications, Singapore
156, Electronic Proceedings in Theoretical Computer Science, S.W. Lin et L. Petrucci, Mai 2014
Special Issue on Application and Theory of Petri Nets
1--2, Fundamenta Informaticae, 122, L. Kristensen, W. Penczek et 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 et L. Petrucci, Juin 2011
Fifth Special Issue on Application of Concurrency to System Design
3, Fundamenta Informaticae, 86, R. Janicki et L. Petrucci, 2008

Revues internationales

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

Autres revues

Congestion Verification on Abstracted Wireless Sensor Networks with WSN-PN Tool
K. Le, T. Bui, T. T. Quan, L. Petrucci, et É.André
1, 33-40, 4, Journal of Advances in Computer Networks, Mars 2016
Guidelines for Application Papers submitted to PETRI NETS
K. van Hee, L. M. Kristensen et L. Petrucci
Gesellschaft für Informatik, Petri Net Newsletter, Octobre 2010
A primer on the Petri Net Markup Language and ISO/IEC 15909-2
L. Hillah, E. Kindler, F. Kordon, L. Petrucci et 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), Octobre 2009
Cover Picture Story: Experiments with Modular State Spaces
L. Petrucci
Cover page and 5-10, 68, Petri Net Newsletter, Avril 2005
Concurrent systems analysis using ECATNets
F. Belala, M. Bettaz et 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. Finke et 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 et 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

Conférences internationales

Parameter Synthesis Algorithms for Parametric Interval Markov Chains
L. Petrucci et J. van de Pol
Springer, Lecture Notes in Computer Science, 38th IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'18), Madrid, Spain, C. Baier et L. Caires (eds.), Juin 2018. À paraître
Quasi-Optimal Partial Order Reduction
H. T. T. Nguyen, C. Rodríguez, M. Sousa, C. Coti et L. Petrucci
Springer, Lecture Notes in Computer Science, 30th International Conference on Computer Aided Verification (CAV'18), Oxford, UK, H. Chockler et G. Weissenbacher (eds.), Juillet 2018. À paraître
Efficient parameter synthesis using optimized state exploration strategies
É. André, H. G. Nguyen et L. Petrucci
1-10, IEEE, 22nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'17), Fukuoka, Japan, Z. Hu et G. Bai (eds.), Novembre 2017
Parametric model checking timed automata under non-Zenoness assumption
É. André, H.G. Nguyen, L. Petrucci et J. Sun
35-51, Springer, Lecture Notes in Computer Science, 10227, Proc. of the 9th NASA Formal Methods Symposium (NFM2017), Moffett Field, CA, USA, Mai 2017
Controlling Actions and Time in Parametric Timed Automata
É. André, M. Knapik, W. Penczek et L. Petrucci
45-54, IEEE, 16th Int. Conf. on Application of Concurrency to System Design (ACSD'16), Torún, Poland, Juin 2016
Parameter Synthesis for Parametric Interval Markov Chains
B. Delahaye, D. Lime et 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, Janvier 2016
COCA: Congestion-Oriented Clustering Algorithm for Wireless Sensor Networks
K. Le, T. Bui, T. T. Quan et L. Petrucci
450-454, IEEE, 8th IEEE Int. Conf. on Communication Software and Networks (ICCSN'16), Beijing, China, Juin 2016
Decrypting Cryptography
É. André et L. Petrucci
IEEE Computer Society, Proc. of the 14th International Conference on Information Technology Based Higher Education and Training (ITHET'15), Lisbon, Portugal, Juin 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 et 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 et J.-F. Raskin (eds.), Novembre 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 et 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 et J. Sun (eds.), Octobre 2013
CosyVerif: An Open Source Extensible Verification Environment
É. André, L. Hillah, F. Hulin-Hubard, F. Kordon, Y. Lembachar, A. Linard et L. Petrucci
(short paper), 33-36, IEEE, 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Singapore, Y. Liu et A. Martin (eds.), Juillet 2013
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs
É. André, G. Pellegrino et 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 et L. Fribourg (eds.), Août 2013
Multi-threaded Explicit State Space Exploration with State Reconstruction
S. Evangelista, L. M. Kristensen et L. Petrucci
208-223, Springer, Lecture Notes in Computer Science, 8172, 11th International Symposium on Automated Technology for Verification and Analysis (ATVA13), Hanoï, Vietnam, Octobre 2013
A New Approach to Abstract Reachability State Space of Time Petri Nets
K. Klai, N. Aber et L. Petrucci
117-124, IEEE, 20th IEEE International Symposium on Temporal Representation and Reasoning (TIME'13), Pensacola, FL, USA, C. Sanchez, B. Venable et E. Zimanyi (eds.), Septembre 2013
Verification of Reachability Properties for Time Petri Nets
K. Klai, N. Aber et L. Petrucci
159-170, Springer, Lecture Notes in Computer Science, 8169, Uppsala, Sweden, 7th International Workshop on Reachability Problems (RP 2013), P.A. Abdulla et I. Potapov (eds.), Septembre 2013
A Counterexample-Based Incremental and Modular Verification Approach
É. André, H. Ochi, K. Klai et 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.), Septembre 2012
Improved Multi-Core Nested Depth-First Search
S. Evangelista, A. Laarman, L. Petrucci et 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, Octobre 2012
Parallel Nested Depth-First Searches for LTL Model Checking
S. Evangelista, L. Petrucci et 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, Octobre 2011
PNML Framework: an extendable reference implementation of the Petri Net Markup Language
L. Hillah, F. Kordon, L. Petrucci et 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), Juin 2010
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification
C. Choppy, A. Dedova, S. Evangelista, S. Hong, K. Klai et 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), Juin 2010
Towards a Standard for Modular Petri Nets: A Formalisation
E. Kindler et 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), Juin 2009
Efficient state-based analysis by introducing bags in Petri nets colour domains
S. Haddad, F. Kordon, L. Petrucci, J.-F. Pradat-Peyre et N. Trèves
5018-5025, IEEE Comp. Soc. Press, Proc. 28th American Control Conference (ACC2009), St Louis, Missouri, USA, Juin 2009
A modelling approach with coloured Petri nets
C. Choppy, L. Petrucci et G. Reggio
73-86, Springer, Lecture Notes in Computer Science, 5026, Proc. 13th Int. Conf. on Reliable Software Technologies - Ada-Europe, Venice, Italy, Juin 2008
Modular Construction of the Symbolic Observation Graph
K. Klai et L. Petrucci
88-97, IEEE Comp. Soc. Press, Proc. 8th Int. Conf. on Application of Concurrency to System Design (ACSD'08), Xi'an, China, Juin 2008
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets
K. Klai, L. Petrucci et 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, Juin 2007
PN standardisation: a survey
L. Hillah, F. Kordon, L. Petrucci et 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 et J.-F. Pradat-Peyre (eds.), Septembre 2006
Modular Analysis of Systems Composed of Semiautonomous Subsystems
C. Lakos et L. Petrucci
185-194, IEEE Computer Society Press, Proc. 4th Int. Conf. on Application of Concurrency to System Design (ACSD'04), Hamilton, Canada, Juin 2004
An Approach to Distributed State Space Exploration for Coloured Petri Nets
L. Kristensen et 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), Juin 2004
FAST: Fast Acceleration of Symbolic Transition systems
S. Bardin, A. Finkel, J. Leroux et L. Petrucci
118-121, Springer, Lecture Notes in Computer Science, 2725, Proc. 15th Int. Conf. on Computer Aided Verification (CAV'2003), Boulder, CO, USA, Juillet 2003
Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft
L. Petrucci, L. M. Kristensen, J. Billington et 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, Juin 2003
Formal specification and analysis of airborne mission systems
L. M. Kristensen, J. Billington, L. Petrucci, Z. Qureshi et R. Kiefer
Proc. 21st IEEE Digital Avionics Systems Conference (DASC'2002), Irvine, CA, USA, Octobre 2002
How to determine and use place flows in coloured Petri nets
S. Christensen et L. Petrucci
66-71, Proc. IEEE Int. Conf. Systems, Man, and Cybernetics (SMC'98), San Diego, CA, USA, Octobre 1998
Modular state space analysis of coloured Petri nets
S. Christensen et 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, Juin 1995
Avoiding state explosion by composition of minimal covering graphs
A. Finkel et L. Petrucci
169-180, Springer, Lecture Notes in Computer Science, 575, Proc. 3rd Int. Workshop Computer Aided Verification (CAV'91), Aalborg, Denmark, Juillet 1991
PAPETRI : environment for the analysis of Petri nets
G. Berthelot, C. Johnen et 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, Juin 1990, 1992
Towards a modular analysis of coloured Petri nets
S. Christensen et 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, Juin 1992
The properties of algebraic nets schemes in some semantics
C. Dimitrovici, U. Hummert et L. Petrucci
180-203, Proc. 11th Int. Conf. Application and Theory of Petri Nets (ICATPN'90), Paris, France, Juin 1990

Workshops, posters et autres conférences

Timed ATL: Forget Memory, Just Count
É. André, W. Jamroga, M. Knapik, W. Penczek et L. Petrucci
(poster), 1460-1462, ACM Press, 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2017), São Paulo, Brazil, Mai 2017
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm
C. Coti, C. Lakos et L. Petrucci
255-274, Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'16), Torún, Poland, Juin 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 et L. Petrucci
329-334, Workshop on Petri Nets and Software Engineering (PNSE'16), Torún, Poland, Juin 2016
Parametric Interval Markov Chains: Synthesis Revisited
L. Petrucci et 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, Septembre 2016
Unifying Patterns for Modelling Timed Relationships in Systems and Properties
É. André et L. Petrucci
25-40, CEUR, Workshop Proceedings, 1372, Workshop on Petri Nets and Software Engineering (PNSE'15), Brussels, Belgium, D. Moldt, H. Rölke et H. Störrle (eds.), Juin 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 et É. 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 et T. T. D. Linh (eds.), Décembre 2015
Congestion Verification on Abstracted Wireless Sensor Networks with WSN-PN Tool
K. Le, T. Bui, T. T. Quan, L. Petrucci et É. André
International Conference on Systems, Control and Communications (ICSCC'15), Singapore, Novembre 2015
Teaching formal methods: Experience at UPMC and UP13 with CosyVerif
É. André, F. Kordon et L. Petrucci
31-34, IEEE, 25th European Association for Education in Electrical and Information Engineering annual International Conference (EAEEIE'14), Izmir, Turkey, Mai 2014
Nationwide Industrial Cooperation for Long-Life Learning and Apprenticeships
D. Genon-Catalot, L. Petrucci et M. Tabouret
1-6, IEEE, 13th International Conference on Information Technology Based Higher Education and Training (ITHET'14), York, UK, Septembre 2014
Monitoring Students Performances in French Institutes of Technology using the ScoDoc Software
E. Viennet et L. Petrucci
1-6, IEEE, 13th International Conference on Information Technology Based Higher Education and Training (ITHET'14), York, UK, Septembre 2014
Coloured Petri Nets Refinements
C. Choppy, L. Petrucci et 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.), Juin 2013
Professional Experience Validation Process at a National Level
D. Genon-Catalot, L. Petrucci et M. Tabouret
11-15, IEEE, 24th European Association for Education in Electrical and Information Engineering annual International Conference (EAEEIE'13), Chania, Greece, Mai 2013
Specialisation and Generalisation of Processes
C. Choppy, J. Desel et L. Petrucci
109-123, CEUR, Workshop Proceedings, 723, Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'11), Newcastle, UK, Juin 2011
Extending PNML Scope: the Prioritised Petri Nets Experience
L. Hillah, C. Lakos, F. Kordon et L. Petrucci
92--106, CEUR, Workshop Proceedings, 723, Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'11), Newcastle, UK, Juin 2011
Distributed CTL Model-Checking and counterexample search
C. Boukala et 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, Juillet 2009
A framework for the definition of variants of high-level Petri nets
E. Kindler et L. Petrucci
Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, Octobre 2009
Experimenting Formal Proofs of Petri Nets Refinements
C. Choppy, M. Mayero et L. Petrucci
231-254, Elsevier Science, entcs, 214, Proc. Workshop REFINE (associated with FM2008), Turku, Finland, Mai 2008
Aggregating views for Petri net model construction
J. Desel et L. Petrucci
17-31, Proc. Workshop on Petri Nets and Distributed Systems (PNDS'08, associated with Petri Nets 2008), Xi'an, China, Juin 2008
Designing coloured Petri net models: a method
C. Choppy, L. Petrucci et G. Reggio
Proceedings published as Report DAIMI-PB 584, Aarhus, DK, 167-186, Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, Octobre 2007
Modular State Spaces and Place Fusion
C. Lakos et L. Petrucci
175-190, University of Podlasie, Workshop on Petri Nets and Software Engineering (PNSE'07, associated with PETRI NETS'07), Siedlce, Poland, Juin 2007
Modular Discrete Pseudo-State Graphs for Time Petri Nets
S. Mazouz et 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, Juin 2006
Towards a methodology for modelling with Petri nets
C. Choppy et L. Petrucci
Proceedings published as Report DAIMI-PB 570, Aarhus, DK, 39-56, Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, Octobre 2004
COAST : des réseaux de Petri à la planification assistée
S. Bardin et 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, Juin 2004
From PNML to counter systems for accelerating Petri Nets with Fast
S. Bardin et L. Petrucci
26-40, Proc. of the Workshop on Interchange Formats for Petri Nets (at PetriNets 2004), Juin 2004
Specification and Validation of a Concurrent System: An Educational Project
G. Berthelot et L. Petrucci
Proceedings published as Report DAIMI-PB 547, Aarhus, DK, 55-72, Proc. Workshop on Practical Use of High-Level Nets, Aarhus, Denmark, Juin 2000
Structural analysis of workflow nets with shared resources
K. Barkaoui et 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, Juin 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é et L. Petrucci
401-418, Hermès, Proc. 4ème Colloque Francophone sur l'Ingénierie des Protocoles, Rennes, France, 1995

Communications invitées

A formal approach to designing autonomous systems: from Intelligent Transport Systems to Robots
F. Kordon et L. Petrucci
Proc. 2nd National Workshop on Control Architectures of Robots: from models to execution on distributed control architectures, Paris, France, Mai 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 et 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, Juin 2003

Tutoriels dans des conférences internationales

Parametric Verification
É. André, D. Lime, W. Penczek et L. Petrucci
1-day tutorial at Petri Nets'17, Zaragossa, Spain, Juin 2017
Parametric Verification
É. André, D. Lime, W. Penczek et L. Petrucci
1-day tutorial at Petri Nets'16, Toru\'n, Poland, Juin 2016
From Symmetric Nets to Symmetric Nets with Bags
S. Baarir, F. Kordon et L. Petrucci
1-day tutorial at Petri Nets'15, Brussels, Belgium, Juin 2015
From Symmetric Nets to Symmetric Nets with Bags
S. Baarir, F. Kordon et L. Petrucci
1-day tutorial at Petri Nets'14, Tunis, Tunisia, Juin 2014
Tutorial on Formal Methods for Distributed and Cooperative Systems
C. Choppy, S. Haddad, H. Klaudel, F. Kordon, L. Petrucci et 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, Novembre 2006

Thèses

Modélisation, vérification et applications
L. Petrucci
Mémoire d'habilitation à diriger des recherches, Université d'Evry, Décembre 2002
Techniques d'analyse des réseaux de Petri algébriques
L. Petrucci
Thèse de Doctorat, Université Pierre et Marie Curie, France, Janvier 1991