Elisabetta Mangioni

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Privacy Preserving

Holonic Manufacturing Systems

Discrete Dynamical Systems

Top Venues

Trans. Petri Nets Other Model. Concurr.

Publications

Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello
Modeling Distributed Private Key Generation by Composing Petri Nets. Trans. Petri Nets Other Model. Concurr. 9 (2014)
Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello
Modeling Distributed Private Key Generation by Composing Petri Nets. PNSE+ModPE (2013)
Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms. Trans. Petri Nets Other Model. Concurr. 8 (2013)
Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello
Local state refinement on Elementary Net Systems: an approach based on morphisms. PNSE (2012)