BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Petrucci:Laure

Contributed to:

Ada-Europe 20082008
CAV 20032003
CAV 19911991
CAV 19901990
CAV (2) 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.