Specification of Decision Diagram Operations. - Alexandre Hamez; Steve Hostettler; Alban Linard; Alexis Marechal; Emmanuel Paviot-Adet; Matteo Risoldi (ACSD/Petri Nets Workshops, 2010)

Improving the Significance of Benchmarks for Petri Nets Model Checkers. - Steve Hostettler; Alban Linard; Alexis Marechal; Matteo Risoldi (ACSD/Petri Nets Workshops, 2010)

AlPiNA: A Symbolic Model Checker. - Didier Buchs; Steve Hostettler; Alexis Marechal; Matteo Risoldi (Petri Nets, 2010)

AlPiNA: An Algebraic Petri Net Analyzer. - Didier Buchs; Steve Hostettler; Alexis Marechal; Matteo Risoldi (TACAS, 2010)

Experience-Based Model Refinement. - Didier Buchs; Steve Hostettler; Alexis Marechal (SERENE, 2011)

Modelling of Genetic Regulatory Mechanisms with GReg - Nicolas Sedlmajer; Didier Buchs; Steve Hostettler; Alban Linard; Edmundo López Bóbeda; Alexis Marechal (CoRR, 2011)

High-Level Petri Net Model Checking with AlPiNA. - Steve Hostettler; Alexis Marechal; Alban Linard; Matteo Risoldi; Didier Buchs (Fundam. Informaticae, 2011)

A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis. - Nicolas Sedlmajer; Didier Buchs; Steve Hostettler; Alban Linard; Edmundo López Bóbeda; Alexis Marechal (Trans. Petri Nets Other Model. Concurr., 2012)

Unifying the Semantics of Modular Extensions of Petri Nets. - Alexis Marechal; Didier Buchs (Petri Nets, 2013)

Model Checking Contest @ Petri Nets, Report on the 2013 edition. - Fabrice Kordon; Alban Linard; Marco Beccuti; Didier Buchs; Lukasz Fronc; Lom-Messan Hillah; Francis Hulin-Hubard; Fabrice Legond-Aubry; Niels Lohmann; Alexis Marechal; Emmanuel Paviot-Adet; Franck Pommereau; et al. (CoRR, 2013)

Unifying the syntax and semantics of modular extensions of Petri nets. - Alexis Marechal (2013)

Generalizing the Compositions of Petri Nets Modules. - Alexis Marechal; Didier Buchs (Fundam. Informaticae, 2015)