Towards Parametric Verification of Prioritized Time Petri Nets. - Anna Dedova; Irina B. Virbitskaite (PaCT, 2009)

The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. - Christine Choppy; Anna Dedova; Sami Evangelista; Silien Hong; Kais Klai; Laure Petrucci (Petri Nets, 2010)

Modelling and Formal Verification of the NEO Protocol. - Christine Choppy; Anna Dedova; Sami Evangelista; Kais Klai; Laure Petrucci; Samir Youcef (Trans. Petri Nets Other Model. Concurr., 2012)

From Code to Coloured Petri Nets: Modelling Guidelines. - Anna Dedova; Laure Petrucci (Trans. Petri Nets Other Model. Concurr., 2013)