| 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 | 1107 | 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 | 524 | 2003 |
| Modular analysis of Petri nets S Christensen, L Petrucci The computer journal 43 (3), 224-242, 2000 | 187 | 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 | 151 | 2003 |
| Structural analysis of workflow nets with shared resources K Barkaoui, L Petrucci | 92 | 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 | 91 | 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 | 85 | 1992 |
| 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 | 82 | 2008 |
| Modular state space analysis of coloured Petri nets S Christensen, L Petrucci International Conference on Application and Theory of Petri Nets, 201-217, 1995 | 70 | 1995 |
| 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 | 61 | 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 | 59 | 2012 |
| 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 | 54 | 2004 |
| 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 | 47 | 1990 |
| Modular analysis of systems composed of semiautonomous subsystems C Lakos, L Petrucci Proceedings. Fourth International Conference on Application of Concurrency …, 2004 | 45 | 2004 |
| Modular construction of the symbolic observation graph K Klai, L Petrucci 2008 8th International Conference on Application of Concurrency to System …, 2008 | 40 | 2008 |
| Parallel nested depth-first searches for LTL model checking S Evangelista, L Petrucci, S Youcef International Symposium on Automated Technology for Verification and …, 2011 | 33 | 2011 |
| Modular state space exploration for timed Petri nets C Lakos, L Petrucci International journal on software tools for technology transfer 9 (3), 393-411, 2007 | 32 | 2007 |
| PN standardisation: a survey L Hillah, F Kordon, L Petrucci, N Treves International Conference on Formal Techniques for Networked and Distributed …, 2006 | 30 | 2006 |
| 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 |
| CosyVerif: An open source extensible verification environment É André, Y Lembachar, L Petrucci, F Hulin-Hubard, A Linard, L Hillah, ... 2013 18th International Conference on Engineering of Complex Computer …, 2013 | 22 | 2013 |
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéVerified email at lip6.fr
