Travelled to:1 × Denmark
1 × Italy
2 × USA
Collaborated with:A.Finkel C.Choppy G.Reggio G.Berthelot C.Johnen S.Bardin J.Leroux H.T.T.Nguyen C.Rodríguez M.Sousa C.Coti
Talks about:petri (2) fast (2) net (2) symbolikc (1) composit (1) approach (1) transit (1) partial (1) papetri (1) environ (1)
Person: Laure Petrucci
DBLP: Petrucci:Laure
Contributed to:
2008
2003199119902018Wrote 5 papers:
- AdaEurope-2008-ChoppyPR #approach #modelling #petri net
- A Modelling Approach with Coloured Petri Nets (CC, LP, GR), pp. 73–86.
- CAV-2003-BardinFLP #named #performance
- FAST: Fast Acceleration of Symbolikc Transition Systems (SB, AF, JL, LP), pp. 118–121.
- CAV-1991-FinkelP #composition #graph
- Avoiding State Exposion by Composition of Minimal Covering Graphs (AF, LP), pp. 169–180.
- CAV-1990-BerthelotJP #analysis #named #petri net
- PAPETRI: Environment for the Analysis of Petri Nets (GB, CJ, LP), pp. 13–22.
- CAV-2018-NguyenRSCP #partial order #reduction
- Quasi-Optimal Partial Order Reduction (HTTN, CR, MS, CC, LP), pp. 354–371.