Concepedia

Susanna Donatelli

SD

46

Publications

3.2K

Citations

22

H-Index

1990

Active since

Affiliations

University of Turin(Current)

Polytechnic University of Turin

Universidad de Zaragoza

Susanna Donatelli is an author at University of Turin specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringStochastic ProcessesFormal MethodsVerificationProcess ControlAutomated ReasoningFormal VerificationComputer Engineering

Publications per year

1990–2018

46

Publications

46

Modelling with Generalized Stochastic Petri Nets

Marco Ajmone Marsan, Gianfranco Balbo, G. Conte et al. · ACM SIGMETRICS Performance Evaluation Review · 1998 · 1.4K citations

Petri Net, Engineering, Stochastic System +6

From UML sequence diagrams and statecharts to analysable petri net models

Simona Bernardi, Susanna Donatelli, José Merseguer · 2002 · 281 citations

Petri Net, Engineering, Verification +23

Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models

Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli et al. · INFORMS journal on computing · 2000 · 160 citations

Mathematical Programming, Computational Complexity Theory, Engineering +18

The GreatSPN tool

Soheib Baarir, Marco Beccuti, Davide Cerotti et al. · ACM SIGMETRICS Performance Evaluation Review · 2009 · 130 citations

Stochastic Simulation, Petri Net, Research Community +15

Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space

Susanna Donatelli · Performance Evaluation · 1993 · 110 citations

Petri Net, Engineering, Stochastic System +11

Rows per page

1–5 of 46