Clarifying the priority specification of GSPN: Detached priorities. - Enrique Teruel; Giuliana Franceschinis; Massimiliano De Pierro (PNPM, 1999)

Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. - Paolo Ballarini; Lorenzo Capra; Giuliana Franceschinis; Massimiliano De Pierro (ACSD, 2003)

Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities. - Enrique Teruel; Giuliana Franceschinis; Massimiliano De Pierro (IEEE Trans. Software Eng., 2003)

A High Level Language for Structural Relations in Well-Formed Nets. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (ICATPN, 2005)

Efficient Analysis Algorithms for Parametric Fault Trees. - Andrea Bobbio; Daniele Codetta Raiteri; Massimiliano De Pierro; Giuliana Franceschinis (FIRB-Perf, 2005)

Structural analysis of conflicts and causality in GSPN and SWN. - Massimiliano De Pierro (2005)

On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process. - Lucia Napione; Daniele Manini; Francesca Cordero; András Horváth; Andrea Picco; Massimiliano De Pierro; Simona Pavan; Matteo Sereno; Andrea Veglio; Federico Bussolino; Gianfranco Balbo (CMSB, 2009)

Tagged Generalized Stochastic Petri Nets. - Gianfranco Balbo; Massimiliano De Pierro; Giuliana Franceschinis (EPEW, 2009)

The GreatSPN tool: recent enhancements. - Souheib Baarir; Marco Beccuti; Davide Cerotti; Massimiliano De Pierro; Susanna Donatelli; Giuliana Franceschinis (SIGMETRICS Perform. Evaluation Rev., 2009)

Stochastic Petri Nets Sensitivity to Token Scheduling Policies. - Gianfranco Balbo; Marco Beccuti; Massimiliano De Pierro; Giuliana Franceschinis (OR, 2010)

A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks. - Marco Beccuti; Massimiliano De Pierro; András Horváth; Ádám Horváth; Károly Farkas (VTC Spring, 2011)

Computing first passage time distributions in stochastic well-formed nets. - Gianfranco Balbo; Marco Beccuti; Massimiliano De Pierro; Giuliana Franceschinis (ICPE, 2011)

First Passage Time Computation in Tagged GSPNs with Queue Places. - Gianfranco Balbo; Marco Beccuti; Massimiliano De Pierro; Giuliana Franceschinis (Comput. J., 2011)

Simplification of a complex signal transduction model using invariants and flow equivalent servers. - Francesca Cordero; András Horváth; Daniele Manini; Lucia Napione; Massimiliano De Pierro; Simona Pavan; Andrea Picco; Andrea Veglio; Matteo Sereno; Federico Bussolino; Gianfranco Balbo (Theor. Comput. Sci., 2011)

A tool for symbolic manipulation of arc functions in symmetric net models. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (VALUETOOLS, 2013)

Computing Structural Properties of Symmetric Nets. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (QEST, 2015)

Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding. - Marco Beccuti; Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis; Simone Pernice (EPEW, 2018)

Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions. - Simone Pernice; Marco Beccuti; Greta Romano; Marzio Pennisi; Alessandro Maglione; Santina Cutrupi; Francesco Pappalardo 001; Lorenzo Capra; Giuliana Franceschinis; Massimiliano De Pierro; Gianfranco Balbo; Francesca Cordero; et al. (CIBB, 2019)

A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models. - Marco Beccuti; Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis; Laura Follia; Simone Pernice (MASCOTS, 2019)

SNexpression: A Symbolic Calculator for Symmetric Net Expressions. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (Petri Nets, 2020)

General Composition for Symmetric Net Arc Functions with Applications. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (PNSE@Petri Nets, 2021)

SNexpression: A New Component for SN Matrix-Based Structural Analysis. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (FORTE, 2025)