New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. - Alexandre Hamez; Lom Hillah; Fabrice Kordon; Alban Linard; Emmanuel Paviot-Adet; Xavier Renault; Yann Thierry-Mieg (ACSD, 2006)

Optimized Colored Nets Unfolding. - Fabrice Kordon; Alban Linard; Emmanuel Paviot-Adet (FORTE, 2006)

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)

polyDD: Towards a Framework Generalizing Decision Diagrams. - Alban Linard; Emmanuel Paviot-Adet; Fabrice Kordon; Didier Buchs; Samuel Charron (ACSD, 2010)

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)

Raw Report on the Model Checking Contest at Petri Nets 2012 - Fabrice Kordon; Alban Linard; Didier Buchs; Maximilien Colange; Sami Evangelista; Lukasz Fronc; Lom-Messan Hillah; Niels Lohmann; Emmanuel Paviot-Adet; Franck Pommereau; Christian Rohr; Yann Thierry-Mieg; et al. (CoRR, 2012)

Report on the Model Checking Contest at Petri Nets 2011. - Fabrice Kordon; Alban Linard; Didier Buchs; Maximilien Colange; Sami Evangelista; Kai Lampka; Niels Lohmann; Emmanuel Paviot-Adet; Yann Thierry-Mieg; Harro Wimmel (Trans. Petri Nets Other Model. Concurr., 2012)

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)

CosyVerif: An Open Source Extensible Verification Environment. - Étienne André; Yousra Lembachar; Laure Petrucci; Francis Hulin-Hubard; Alban Linard; Lom Hillah; Fabrice Kordon (ICECCS, 2013)

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. - Étienne André; Benoît Barbot; Clement Demoulins; Lom-Messan Hillah; Francis Hulin-Hubard; Fabrice Kordon; Alban Linard; Laure Petrucci (ICFEM, 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)

Layered Data: A Modular Formal Definition without Formalisms. - Alban Linard; Benoît Barbot; Didier Buchs; Maximilien Colange; Clément Démoulins; Lom-Messan Hillah; Alexis Martin (PNSE @ Petri Nets, 2016)

Ardoises: Collaborative & Interactive Editing Using Layered Data. - Alban Linard; Didier Buchs (ACSD, 2017)

CREST - A Continuous, REactive SysTems DSL. - Stefan Klikovits; Alban Linard; Didier Buchs (MoDELS (Satellite Events), 2017)

A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning. - Didier Buchs; Stefan Klikovits; Alban Linard; Romain Mencattini; Dimitri Racordon (Petri Nets, 2018)

Petri Sport: A Sport for Petri Netters. - Stefan Klikovits; Alban Linard; Dimitri Racordon; Didier Buchs (PNSE@Petri Nets/ACSD, 2018)

CREST - A DSL for Reactive Cyber-Physical Systems. - Stefan Klikovits; Alban Linard; Didier Buchs (SAM, 2018)