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)

Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets. - Silien Hong; Fabrice Kordon; Emmanuel Paviot-Adet; Sami Evangelista (Trans. Petri Nets Other Model. Concurr., 2012)