| 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 | 1248 | 2013 |
| The petri net markup language: Concepts, technology, and tools J Billington, S Christensen, K Van Hee, E Kindler, O Kummer, L Petrucci, ... International Conference on Application and Theory of Petri Nets, 483-505, 2003 | 581 | 2003 |
| Modular analysis of Petri nets S Christensen, L Petrucci The computer journal 43 (3), 224-242, 2000 | 216 | 2000 |
| Fast: Fast acceleration of symbolic transition systems S Bardin, A Finkel, J Leroux, L Petrucci International Conference on Computer Aided Verification, 118-121, 2003 | 171 | 2003 |
| Structural analysis of workflow nets with shared ressources K Barkaoui, L Petrucci Workflow management: Net-based Concepts, Models, Techniques and Tools (WFM …, 1998 | 109 | 1998 |
| FAST: acceleration from theory to practice S Bardin, A Finkel, J Leroux, L Petrucci International Journal on Software Tools for Technology Transfer 10 (5), 401-424, 2008 | 107 | 2008 |
| 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 | 103 | 2009 |
| Towards a modular analysis of coloured Petri nets S Christensen, L Petrucci International Conference on Application and Theory of Petri Nets, 113-133, 1992 | 96 | 1992 |
| PNML Framework: an extendable reference implementation of the Petri Net Markup Language LM Hillah, F Kordon, L Petrucci, N Treves International conference on applications and theory of Petri nets, 318-327, 2010 | 92 | 2010 |
| Improved multi-core nested depth-first search S Evangelista, A Laarman, L Petrucci, J Van De Pol International Symposium on Automated Technology for Verification and …, 2012 | 89 | 2012 |
| Modular state space analysis of coloured Petri nets S Christensen, L Petrucci International Conference on Application and Theory of Petri Nets, 201-217, 1995 | 83 | 1995 |
| An approach to distributed state space exploration for coloured petri nets LM Kristensen, L Petrucci International Conference on Application and Theory of Petri Nets, 474-483, 2004 | 57 | 2004 |
| Modular construction of the symbolic observation graph K Klai, L Petrucci 2008 8th International Conference on Application of Concurrency to System …, 2008 | 55 | 2008 |
| Modular analysis of systems composed of semiautonomous subsystems C Lakos, L Petrucci Proceedings. Fourth International Conference on Application of Concurrency …, 2004 | 50 | 2004 |
| 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 | 48 | 2018 |
| Parallel nested depth-first searches for LTL model checking S Evangelista, L Petrucci, S Youcef International Symposium on Automated Technology for Verification and …, 2011 | 46 | 2011 |
| Semantics, composition and net properties of algebraic high-level nets C Dimitrovici, U Hummert, L Petrucci International Conference on Application and Theory of Petri Nets, 93-117, 1990 | 46 | 1990 |
| PN standardisation: a survey L Hillah, F Kordon, L Petrucci, N Trèves International Conference on Formal Techniques for Networked and Distributed …, 2006 | 42 | 2006 |
| Quasi-optimal partial order reduction HTT Nguyen, C Rodríguez, M Sousa, C Coti, L Petrucci International Conference on Computer Aided Verification, 354-371, 2018 | 38 | 2018 |
| Towards a standard for modular Petri nets: A formalisation E Kindler, L Petrucci International Conference on Applications and Theory of Petri Nets, 43-62, 2009 | 35 | 2009 |
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéVerified email at lip6.fr
