Local state refinement on Elementary Net Systems: an approach based on morphisms. - Luca Bernardinello; Elisabetta Mangioni; Lucia Pomello (PNSE, 2012)

Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms. - Luca Bernardinello; Elisabetta Mangioni; Lucia Pomello (Trans. Petri Nets Other Model. Concurr., 2013)

Modeling Distributed Private Key Generation by Composing Petri Nets. - Luca Bernardinello; Görkem Kilinç 001; Elisabetta Mangioni; Lucia Pomello (Trans. Petri Nets Other Model. Concurr., 2014)

A Geo-Spatial Data Infrastructure for Flexible Discovery, Retrieval and Fusion of Scenario Maps in Preparedness of Emergency. - Gloria Bordogna; Simone Sterlacchini; Paolo Arcaini; Giacomo Cappellini; Mattia Cugini; Elisabetta Mangioni; Chrysanthi Polyzoni (Granular, Soft and Fuzzy Approaches for Intelligent Systems, 2017)