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 | 1147 | 2013 |
The petri net markup language: Concepts, technology, and tools J Billington, S Christensen, K Hee, E Kindler, O Kummer, L Petrucci, ... International Conference on Application and Theory of Petri Nets, 483-505, 2003 | 537 | 2003 |
Modular analysis of Petri nets S Christensen, L Petrucci The computer journal 43 (3), 224-242, 2000 | 191 | 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 | 155 | 2003 |
Structural analysis of workflow nets with shared resources K Barkaoui, L Petrucci | 100 | 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 | 95 | 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 | 92 | 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 | 89 | 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 | 73 | 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 | 69 | 2010 |
Improved multi-core nested depth-first search S Evangelista, A Laarman, L Petrucci, J Pol International Symposium on Automated Technology for Verification and ¡¦, 2012 | 63 | 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 | 56 | 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 | 48 | 1990 |
Modular construction of the symbolic observation graph K Klai, L Petrucci 2008 8th International Conference on Application of Concurrency to System ¡¦, 2008 | 44 | 2008 |
Modular analysis of systems composed of semiautonomous subsystems C Lakos, L Petrucci Proceedings. Fourth International Conference on Application of Concurrency ¡¦, 2004 | 44 | 2004 |
Parallel nested depth-first searches for LTL model checking S Evangelista, L Petrucci, S Youcef International Symposium on Automated Technology for Verification and ¡¦, 2011 | 35 | 2011 |
PN standardisation: a survey L Hillah, F Kordon, L Petrucci, N Treves International Conference on Formal Techniques for Networked and Distributed ¡¦, 2006 | 34 | 2006 |
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 | 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 | 29 | 2009 |
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 | 23 | 2009 |