Livres

[1] Distributed Systems: Design and Algorithms
S. Haddad and F. Kordon and L. Pautet and L. Petrucci
John Wiley & Sons, Mai 2011
[2] Models and Analysis in Distributed Systems
S. Haddad and F. Kordon and L. Pautet and L. Petrucci
John Wiley & Sons, Mai 2011
[3] 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
[4] 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, Novembre 2006

Chapitres de livres

[5] Parallel Model Checking Algorithms for Linear-time Temporal Logic
J. Barnat and V. Bloemen and A. Duret-Lutz and A. Laarman and L. Petrucci and J. van de Pol and E. Renault
apar, 54 pages, Springer, Handbook of Parallel Constraint Reasoning, 13, L. Sais and Y. Hamadi, 2017
[6] A Counterexample-Based Incremental and Modular Verification Approach
André, E. and Klai, K. and Ochi, H. and Petrucci, L.
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, R. and Garlan, D., Septembre 2012
[7] Specification and Design Approaches
C. Choppy and L. Petrucci
Models and Analysis in Distributed Systems, 3, MeFoSyLoMa-11-2, S. Haddad and F. Kordon and L. Pautet and L. Petrucci, 2011
[8] 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, Avril 2011
[9] Introduction to Security Issues in Distributed Systems
L. Petrucci
Distributed Systems: Design and Algorithms, 10, MeFoSyLoMa-11-1, S. Haddad and F. Kordon and L. Pautet and L. Petrucci, 2011
[10] Introduction to Formal Models
L. Petrucci
Models and Analysis in Distributed Systems, 2, MeFoSyLoMa-11-2, S. Haddad and F. Kordon and L. Pautet and L. Petrucci, 2011
[11] 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, Décembre 2008
[12] Introduction à la sécurité dans les systèmes répartis
L. Petrucci
111--115, Systèmes répartis en action : de l'embarqué aux systèmes large échelle, 6, MeFoSyLoMa-08, F. Kordon and L. Pautet and L. Petrucci, 2008
[13] Démarches de spécification
C. Choppy and L. Petrucci
27--49, Méthodes formelles pour les systèmes répartis et coopératifs, 3, MeFoSyLoMa-06, S. Haddad and F. Kordon and L. Petrucci, 2006
[14] Panorama des modèles et langages de spécification
L. Petrucci
9--26, Méthodes formelles pour les systèmes répartis et coopératifs, 2, MeFoSyLoMa-06, S. Haddad and F. Kordon and L. Petrucci, 2006

Edition  d'ouvrages collectifs

[15] Proceedings of the 2nd French-Singaporean workshop on Formal Models and Applications, Singapore
156, EPTCS, Proceedings of the 2nd French-Singaporean workshop on Formal Models and Applications, Singapore, S.W. Lin and L. Petrucci, Mai 2014
[16] Special Issue on Application and Theory of Petri Nets
1--2, Fundamenta Informaticae, 122, L. Kristensen and W. Penczek and L. Petrucci, 2013
[17] 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, Juin 2011
[18] Fifth Special Issue on Application of Concurrency to System Design
3, Fundamenta Informaticae, 86, R. Janicki and L. Petrucci, 2008
[19] Proceedings of the 6th International Conference on Application of Concurrency to System Design (ACSD'06), Turku, Finland
IEEE Computer Society Press, Proceedings of the 6th International Conference on Application of Concurrency to System Design (ACSD'06), Turku, Finland, K. Goossens and L. Petrucci, 0-7695-2556-3, Juin 2006

Articles dans des revues internationales avec comité de lecture

[20] Congestion Verification on Abstracted Wireless Sensor Networks with WSN-PN Tool
Le, K. and Bui, T. and Quan, T. and Petrucci, L. and André, É.
1, 33--40, 4, Journal of Advances in Computer Networks, Mars 2016
[21] 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
[22] Distributed CTL Model-Checking and counterexample search
C. Boukala and L. Petrucci
1, 44--59, Inderscience, 3, International Journal of Critical Computer-Based Systems, Janvier 2012
[23] 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 , 7400, Transactions on Petri Nets and Other Models of Concurrency, Novembre 2012
[24] 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 , 7400, Transactions on Petri Nets and Other Models of Concurrency, Novembre 2012
[25] 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, Avril 2010
[26] 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 Européen des Systèmes Automatisés, 2008
[27] 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, Octobre 2008
[28] 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, Juin 2007
[29] 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, Automne 2005

Articles dans d'autres revues

[30] 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, Octobre 2010
[31] Standardisation des réseaux de Petri : état de l'art et enjeux futurs
L. Hillah and L. Petrucci
5--10, 93, Revue Génie Logiciel, Juin 2010
[32] 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), Octobre 2009
[33] Toward Formal Methods Oecumenism?
F. Kordon and L. Petrucci
7, 7, IEEE Distributed Systems Online, Juillet 2006
[34] An intelligent peer-to-peer multi-agent system for collaborative management of bibliographic databases
H. Karoui and R. Kanawati and L. Petrucci
3, 22--31, 8, SGAI's expert update magazine, Printemps 2006
[35] Cover Picture Story: Experiments with Modular State Spaces
L. Petrucci
Cover page and 5--10, 68, Petri Net Newsletter, Avril 2005

Tutoriaux dans des conférences internationales

[36] Parametric Verification
André, É. and Lime, D. and Penczek, W. and Petrucci, L.
apar, 1-day tutorial at ICATPN'17, Zaragossa, Spain, Juin 2017
[37] Parametric Verification
André, É. and Lime, D. and Penczek, W. and Petrucci, L.
1-day tutorial at ICATPN'16, Torun, Poland, Juin 2016
[38] From Symmetric Nets to Symmetric Nets with Bags
S. Baarir and F. Kordon and L. Petrucci
1-day tutorial at ICATPN'15, Brussels, Belgium, Juin 2015
[39] From Symmetric Nets to Symmetric Nets with Bags
S. Baarir and F. Kordon and L. Petrucci
1-day tutorial at ICATPN'14, Tunis, Tunisia, Juin 2014
[40] 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, Novembre 2006

Autres communications sur invitation, tutorials, ...

[41] A Counterexample-Based Incremental and Modular Verification Approach
E. André and K. Klai and H. Ochi and L. Petrucci
109--119, Proc. Monterey Workshop, Oxford, UK, Mars 2012
[42] Modular State Spaces for Prioritised Petri nets
C. Lakos and L. Petrucci
91--98, Proc. Monterey Workshop, Redmond, WA, USA, Avril 2010
[43] 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, Mai 2007
[44] Modular Construction of the Symbolic Observation Graph
K. Klai and L. Petrucci
6, British Computer Society, eWiC, Proc. 1st International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS'07), Algiers, Algeria, Mai 2007
[45] ISO/IEC 15909-2, concepts of high-level nets and CPN
L. Petrucci
Presentation at the Workshop on Petri Nets Standards (PNS'07, associated with PETRI NETS'07), Siedlce, Poland, Juin 2007

Communications dans des conférences internationales avec comité de lecture

[46] Timed ATL: Forget Memory, Just Count
André, É. and Jamroga, W. and Knapik, M. and Penczek, W. and Petrucci, L.
apar, Proc. of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2017), Sao Paulo, Brazil, Mai 2017
[47] Parametric model checking timed automata under non-Zenoness assumption
André, É. and Nguyen, H.G. and Petrucci, L. and Sun, J.
apar, Proc. of the 9th NASA Formal Methods Symposium (NFM2017), Moffett Field, CA, USA, Mai 2017
[48] Parameter Synthesis for Parametric Interval Markov Chains
Delahaye, B. and Lime, D. and Petrucci, L.
372--390, Springer, Lecture Notes in Computer Science , 9583, Proc. of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'16), St. Petersburg, Florida, USA, Janvier 2016
[49] Controlling Actions and Time in Parametric Timed Automata
André, É. and Knapik, M. and Penczek, W. and Petrucci, L.
IEEE Comp. Soc. Press, Proc. 16th Int. Conf. on Application of Concurrency to System Design (ACSD'16), Toru\'n, Poland, June 2016, 2016
[50] COCA: Congestion-Oriented Clustering Algorithm for Wireless Sensor Networks
Le, K. and Bui, T. and Quan, T. and Petrucci, L.
IEEE Comp. Soc. Press, Proc. 8th IEEE Int. Conf. on Communication Software and Networks (ICCSN'16), Beijing, China, Juin 2016
[51] Parametric Interval Markov Chains: Synthesis Revisited
Petrucci, L. and van de Pol, J.
Springer, Lecture Notes in Computer Science , Proc. of the 21st International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016), Pisa, Italy, Septembre 2016
[52] 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, Juin 2015
[53] Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks
Le, K and Bui, T. and Quan, T. and Petrucci, L. and André, É.
ACM digital library, Proc. of the 6th International Symposium on Information and Communication Technology (SoICT'15), Hue, Vietnam, Décembre 2015
[54] Nationwide Industrial Cooperation for Long-Life Learning and Apprenticeships
Genon-Catalot, D. and Petrucci, L. and Tabouret, M.
IEEE Computer Society Press, Proc. of the 13th International Conference on Information Technology Based Higher Education and Training (ITHET'14), York, UK, Septembre 2014
[55] Teaching formal methods: Experience at UPMC and UP13 with CosyVerif
André, E. and Kordon, F. and Petrucci, L.
IEEE Computer Society Press, Proc. of the 25th EAEEIE annual International Conference (EAEEIE'14), Izmir, Turkey, Mai 2014
[56] Monitoring Students Performances in French Institutes of Technology using the ScoDoc Software
Viennet, E. and Petrucci, L.
IEEE Computer Society, Proc. of the 13th International Conference on Information Technology Based Higher Education and Training (ITHET'14), York, UK, Septembre 2014
[57] 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
242--247, Springer, Lecture Notes in Computer Science, 8837, Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA'14), Sydney, Australia, Cassez, Franck and Raskin, Jean-François, Novembre 2014
[58] 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., Septembre 2013
[59] 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, Septembre 2013
[60] 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.
33--36, IEEE Computer Society, Proc. of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Singapore, Liu, Yang and Martin, Andrew, Juillet 2013
[61] Professional Experience Validation Process at a National Level
Genon-Catalot, D. and Petrucci, L. and Tabouret, M.
IEEE Computer Society Press, Proc. of the 24th EAEEIE annual International Conference (EAEEIE'13), Chania, Greece, Mai 2013
[62] 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, Proc. of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'13), Buenos Aires, Argentina, Braberman, Victor and Fribourg, Laurent, Août 2013
[63] Multi-threaded Explicit State Space Exploration with State Reconstruction
S. Evangelista and L. Kristensen and L. Petrucci
208--223, Springer, Lecture Notes in Computer Science, 8172, Proc. of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA13), Hanoï, Vietnam, Octobre 2013
[64] A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems
É. 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, Proc. of the 15th International Conference on Formal Engineering Methods (ICFEM 2013) Queenstown, New-Zealand, L. Groves and J. Sun, Octobre 2013
[65] 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, Proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis (ATVA12), Thiruvananthapuram, India, , Octobre 2012
[66] Parallel Nested Depth-First Searches for LTL Model Checking
S. Evangelista and 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, Octobre 2011
[67] 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, Proc. 31st Int. Conf. Application and Theory of Petri Nets and Other Models of Concurrency (PetriNets'2010), Braga, Portugal, Juin 2010
[68] 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, atpn2010, Juin 2010
[69] Coloured Petri net refinement and correctness proof with Coq
C. Choppy and M. Mayero and L. Petrucci
195--202, NASA Conferences, Proc. NASA Formal Methods (NFM2009), Moffett Field, California, USA, Avril 2009
[70] Towards a Standard for Modular Petri Nets: A Formalisation
E. Kindler and L. Petrucci
43--62, Springer, Lecture Notes in Computer Science, 5606, Proc. 30th Int. Conf. Application and Theory of Petri Nets and Other Models of Concurrency (PetriNets'2009), Paris, France, Juin 2009
[71] 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 Computer Society Press, Proc. 28th American Control Conference (ACC2009), St Louis, Missouri, USA, Juin 2009
[72] 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, , Juin 2008
[73] 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, Mai 2008
[74] Cooperative CBR System for Peer Agent Committee Formation
H. Karoui and R. Kanawati and L. Petrucci
51--62, Springer, Lecture Notes in Artificial Intelligence , 4461, Agents and Peer-to-Peer Computing, 2008
[75] Modular construction of the symbolic observation graph
Kais Klai and Laure Petrucci
88-97, IEEE Computer Society Press, 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008, Juin 2008
[76] An Incremental and Modular Technique for Checking LTL$\setminus$X Properties of Petri Nets
Kais Klai and Laure Petrucci and Michel A. Reniers
280-295, Springer, Lecture Notes in Computer Science, 4574, Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, Juin 2007
[77] Cooperative CBR System for Peer Agent Committee Formation
H. Karoui and R. Kanawati and L. Petrucci
Proc. 5th Workshop on Agents and Peer-to-Peer Computing (AP2PC'06), Hakodate, Japan, Mai 2006
[78] COBRAS: Cooperative CBR System for Bibliographical Reference Recommendation
H. Karoui and R. Kanawati and L. Petrucci
76--90, Springer, Lecture Notes in Artificial Intelligence, 4106, Proc. 8th European Conference on Case-Based Reasonning (ECCBR'06), Septembre 2006
[79] 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, Septembre 2006
[80] 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
[81] 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, atpn2004, Juin 2004
[82] 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, Juillet 2003
[83] 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, Juin 2003

Autres conférences

[84] 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), Toru\'n, Poland, Juin 2016
[85] 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, Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'16), Toru\'n, Poland, Juin 2016
[86] Unifying Patterns for Modelling Timed Relationships in Systems and Properties
André, É. and Petrucci, L.
25--40, CEUR, Workshop Proceedings, 1372, Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'15), Brussels, Belgium, Juin 2015
[87] Congestion Verification on Abstracted Wireless Sensor Networks with WSN-PN Tool
Le, K. and Bui, T. and Quan, T. and Petrucci, L. and André, É.
Proc. of the International Conference on Systems, Control and Communications (ICSCC'15), Singapore, Novembre 2015
[88] Beyond Model-Checking: Parameters Everywhere
André, E. and Delahaye, B. and Habermehl, P. and Jard, C. and Lime, D. and Petrucci, L. and Roux, O.H. and Touili, T.
Journées du GDR GPL (défis 2025), Paris, Juin 2014
[89] Coloured Petri Nets Refinements
Choppy, C. and Petrucci, L. and Sanogo, A.
187--201, CEUR, Workshop Proceedings, 989, Proceedings of the workshop on Petri Nets and Software Engineering (PNSE'13), Milan, Italy, D. Moldt, Juin 2013
[90] Specialisation and Generalisation of Processes
C. Choppy and J. Desel and L. Petrucci
109--123, CEUR-WS.org, 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, 1613-0074, Juin 2011
[91] 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, Juin 2011
[92] Distributed CTL Model-Checking and counterexample search
C. Boukala and L. Petrucci
British Computer Society, eWiC, Proc. 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS'09), Rabat, Morocco, Juillet 2009
[93] 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, Octobre 2009
[94] Verification of large-scale distributed database systems in the NEOPPOD project
O. Bertrand and A. Calonne and C. Choppy and S. Hong and K. Klai and F. Kordon and Y. Okuji and E. Paviot-Adet and L. Petrucci and J.-P. Smets
315--316, Proc. Workshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009), Paris, France, Juin 2009
[95] 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, Juin 2008
[96] Towards Distributed Verification of Petri Nets properties
C. Boukala and L. Petrucci
15--26, British Computer Society, eWiC, Proc. 1st International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS'07), Algiers, Algeria, Mai 2007
[97] 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, Octobre 2007
[98] 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, Juin 2007
[99] Une approche RàPC pour la formation d'un comité d'agents dans un système de recommandation d'égal-à-égal
H. Karoui and R. Kanawati and L. Petrucci
Proc. 14ème atelier RàPC, Besançon, France, Mars 2006
[100] Modular Discrete Pseudo-State Graphs for Time Petri Nets
S. Mazouz and L. Petrucci
272, 223--244, Universität Hamburg, Workshop on Modelling of Objects, Components and Agents (MOCA'06, associated with PETRI NETS'06), Turku, Finland, Juin 2006
[101] Distributed and Modular State Space Exploration for Timed Petri Nets
C. Lakos and L. Petrucci
Proceedings published as Report DAIMI-PB 576, Aarhus, DK, 191--210, Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, Octobre 2005
[102] Transforming Couloured Petri Nets to Counter Systems for Parametric Verification: A Stop-and-Wait Protocol Case Study
J. Billington and G. E. Gallasch and L. Petrucci
ISBN 952-12-1556-9, 37--55, TUCS general publication, 39, Proc. 2nd workshop on MOdel-based Methodologies for Pervasive and Embedded Software (MOMPES'05, satellite of ACSD'05), Rennes, France, Juin 2005
[103] 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, Octobre 2004
[104] 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, Juin 2004
[105] 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 ICATPN 2004), Juin 2004

Communications invitées dans une conférence internationale

[106] Modularity and Petri nets
L. Petrucci
7--8, Proc. 7th International Symposium on Programming and Systems (ISPS'2005), Algiers, Algeria, Mai 2005
[107] 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 (ICATPN'2003), Eindhoven, The Netherlands, Juin 2003

Rapports internes non publiés par ailleurs

[108] Modular Automata 2 Distributed Petri Nets 4 Synthesis
P. Darondeau and L. Petrucci
6192, INRIA, Mai 2007
[109] ISO/IEC 15909 --- Part 3: Extensions
L. Petrucci
Working document of ISO/IEC JTC1-SC7-WG19, ref. PA2-018, Novembre 2007
[110] FAST: Acceleration from theory to practice
S. Bardin and A. Finkel and J. Leroux and L. Petrucci
LSV-07-16, 21 pages, Laboratoire Spécification et Vérification, ENS Cachan, France, Avril 2007
[111] Proposal for an addendum to ISO/IEC 15909-1
F. Kordon and L. Petrucci
NWI submitted by AFNOR to ISO/IEC JTC1-SC7-WG19, ref. MAL-012, Novembre 2004

Réalisations informatiques

[112] CoSyVerif: Complex Systems Verification
A. Hamez and L. Hillah and K. Klai and F. Kordon and L. Petrucci and D. Poitrenaud and Y. Thierry-Mieg
Tool presentation at PetriNets'08, Juin 2008
[113] FAST: Fast Acceleration of Symbolic Transition systems
S. Bardin and A. Finkel and J. Leroux and L. Petrucci
Tool presentation at ACSD'05, Juin 2005