| Systems and software verification: model-checking techniques and tools B Bérard, M Bidoit, A Finkel, F Laroussinie, A Petit, L Petrucci, ... Springer Science & Business Media, 2013 | 1167 | 2013 |
| The petri net markup language: Concepts, technology, and tools J Billington, S Christensen, K Van Hee, E Kindler, O Kummer, L Petrucci, ... ICATPN 3, 483-505, 2003 | 542 | 2003 |
| Modular analysis of Petri nets S Christensen, L Petrucci The computer journal 43 (3), 224-242, 2000 | 198 | 2000 |
| FAST: Fast acceleration of symbolic transition systems S Bardin, A Finkel, J Leroux, L Petrucci CAV 3, 118-121, 2003 | 156 | 2003 |
| Structural analysis of workflow nets with shared ressources K Barkaoui, L Petrucci Workflow management: Net-based Concepts, Models, Techniques and Tools (WFM …, 1998 | 103 | 1998 |
| A primer on the Petri Net Markup Language and ISO/IEC 15909-2 LM Hillah, E Kindler, F Kordon, L Petrucci, N Treves Petri Net Newsletter 76, 9-28, 2009 | 96 | 2009 |
| Towards a modular analysis of coloured Petri nets S Christensen, L Petrucci DAIMI Report Series 21 (391), 1992 | 93 | 1992 |
| FAST: acceleration from theory to practice S Bardin, A Finkel, J Leroux, L Petrucci International Journal on Software Tools for Technology Transfer 10, 401-424, 2008 | 91 | 2008 |
| PNML Framework: an extendable reference implementation of the Petri Net Markup Language LM Hillah, F Kordon, L Petrucci, N Treves Applications and Theory of Petri Nets: 31st International Conference, PETRI …, 2010 | 75 | 2010 |
| Modular state space analysis of coloured Petri nets S Christensen, L Petrucci Application and Theory of Petri Nets 1995: 16th International Conference …, 1995 | 73 | 1995 |
| Improved multi-core nested depth-first search S Evangelista, A Laarman, L Petrucci, J Van De Pol Automated Technology for Verification and Analysis: 10th International …, 2012 | 66 | 2012 |
| An approach to distributed state space exploration for coloured petri nets LM Kristensen, L Petrucci Applications and Theory of Petri Nets 2004: 25th International Conference …, 2004 | 56 | 2004 |
| Semantics, composition and net properties of algebraic high-level nets C Dimitrovici, U Hummert, L Petrucci Advances in Petri Nets 1991 11, 93-117, 1991 | 47 | 1991 |
| Modular construction of the symbolic observation graph K Klai, L Petrucci 2008 8th International Conference on Application of Concurrency to System …, 2008 | 46 | 2008 |
| Modular analysis of systems composed of semiautonomous subsystems C Lakos, L Petrucci Proceedings. Fourth International Conference on Application of Concurrency …, 2004 | 45 | 2004 |
| Parallel nested depth-first searches for LTL model checking S Evangelista, L Petrucci, S Youcef Automated Technology for Verification and Analysis: 9th International …, 2011 | 35 | 2011 |
| PN standardisation: a survey L Hillah, F Kordon, L Petrucci, N Treves Formal Techniques for Networked and Distributed Systems-FORTE 2006: 26th …, 2006 | 34 | 2006 |
| Modular state space exploration for timed Petri nets C Lakos, L Petrucci International journal on software tools for technology transfer 9, 393-411, 2007 | 33 | 2007 |
| Efficient state-based analysis by introducing bags in Petri nets color domains S Haddad, F Kordon, L Petrucci, JF Pradat-Peyre, L Treves 2009 American Control Conference, 5018-5025, 2009 | 28 | 2009 |
| Parallel model checking algorithms for linear-time temporal logic J Barnat, V Bloemen, A Duret-Lutz, A Laarman, L Petrucci, J van de Pol, ... Handbook of Parallel Constraint Reasoning, 457-507, 2018 | 26 | 2018 |
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéGeverifieerd e-mailadres voor lip6.fr
