Transactions on Petri Nets and Other Models of Concurrency XVIIIFabrice Kordon, Laure Petrucci, Jörg Desel, Jetty Kleijn, Maciej Koutny · First published 2026Open the Tome
Formal Modeling and Analysis of Timed SystemsLaure Petrucci, Jeremy Sproston · First published 2023Open the Tome
Application and Theory of Petri Nets and ConcurrencyLuca Bernardinello, Laure Petrucci · First published 2022Open the Tome
Critical SystemsLaure Petrucci, Cristina Seceleanu, Ana Cavalcanti · First published 2017Open the Tome
Application and Theory of Petri NetsLars M. Kristensen, Laure Petrucci · First published 2011Open the Tome
Distibuted SystemsSerge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci · First published 2011Open the Tome
Models and Analysis for Distributed SystemsSerge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci · First published 2011Open the Tome
