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 | 1242 | 2013 |
The petri net markup language: Concepts, technology, and tools J Billington, S Christensen, K Van Hee, E Kindler, O Kummer, L Petrucci, ... Applications and Theory of Petri Nets 2003: 24th International Conference …, 2003 | 568 | 2003 |
Modular analysis of Petri nets S Christensen, L Petrucci The computer journal 43 (3), 224-242, 2000 | 211 | 2000 |
FAST: Fast acceleration of symbolic transition systems S Bardin, A Finkel, J Leroux, L Petrucci Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003 | 170 | 2003 |
Structural analysis of workflow nets with shared ressources K Barkaoui, L Petrucci Workflow management: Net-based Concepts, Models, Techniques and Tools (WFM …, 1998 | 108 | 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 | 104 | 2009 |
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 | 103 | 2008 |
Towards a modular analysis of coloured Petri nets S Christensen, L Petrucci International Conference on Application and Theory of Petri Nets, 113-133, 1992 | 93 | 1992 |
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 | 88 | 2010 |
Modular state space analysis of coloured Petri nets S Christensen, L Petrucci International Conference on Application and Theory of Petri Nets, 201-217, 1995 | 78 | 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 | 77 | 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 | 57 | 2004 |
Modular construction of the symbolic observation graph K Klai, L Petrucci 2008 8th International Conference on Application of Concurrency to System …, 2008 | 53 | 2008 |
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 | 50 | 1991 |
Modular analysis of systems composed of semiautonomous subsystems C Lakos, L Petrucci Proceedings. Fourth International Conference on Application of Concurrency …, 2004 | 48 | 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 | 41 | 2011 |
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 | 39 | 2018 |
PN standardisation: a survey L Hillah, F Kordon, L Petrucci, N Trèves International Conference on Formal Techniques for Networked and Distributed …, 2006 | 39 | 2006 |
Quasi-optimal partial order reduction HTT Nguyen, C Rodríguez, M Sousa, C Coti, L Petrucci Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 35 | 2018 |
Modular state space exploration for timed Petri nets C Lakos, L Petrucci International journal on software tools for technology transfer 9, 393-411, 2007 | 34 | 2007 |