| Modelling with generalized stochastic Petri nets MA Marsan, G Balbo, G Conte, S Donatelli, G Franceschinis ACM SIGMETRICS performance evaluation review 26 (2), 2, 1998 | 2286 | 1998 |
| From UML sequence diagrams and statecharts to analysable petri net models S Bernardi, S Donatelli, J Merseguer Proceedings of the 3rd international workshop on Software and performance, 35-45, 2002 | 442 | 2002 |
| Modelling with generalized stochastic Petri nets M Ajmone Marsan, G Balbo, G Conte, S Donatelli, G Franceschinis J. Wiley & Sons Ltd, 1995 | 379 | 1995 |
| Superposed generalized stochastic Petri nets: definition and efficient solution S Donatelli International Conference on Application and Theory of Petri Nets, 258-277, 1994 | 222 | 1994 |
| Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models P Buchholz, G Ciardo, S Donatelli, P Kemper INFORMS Journal on Computing 12 (3), 203-222, 2000 | 195 | 2000 |
| The GreatSPN tool: recent enhancements S Baarir, M Beccuti, D Cerotti, M De Pierro, S Donatelli, G Franceschinis ACM SIGMETRICS Performance Evaluation Review 36 (4), 4-9, 2009 | 179 | 2009 |
| Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space S Donatelli Performance evaluation 18 (1), 21-36, 1993 | 160 | 1993 |
| An introduction to generalized stochastic Petri nets MA Marsan, G Balbo, G Chiola, G Conte, S Donatelli, G Franceschinis Microelectronics Reliability 31 (4), 699-725, 1991 | 156 | 1991 |
| A compositional semantics for UML state machines aimed at performance evaluation J Merseguer, J Campos, S Bernardi, S Donatelli Sixth International Workshop on Discrete Event Systems, 2002. Proceedings …, 2002 | 129 | 2002 |
| Model checking timed and stochastic properties with CSL^{TA} S Donatelli, S Haddad, J Sproston IEEE Transactions on Software Engineering 35 (2), 224-240, 2008 | 127 | 2008 |
| 30 years of GreatSPN EG Amparore, G Balbo, M Beccuti, S Donatelli, G Franceschinis Principles of Performance and Reliability Modeling and Evaluation: Essays in …, 2016 | 118 | 2016 |
| State‐of‐the‐art fusion‐finder algorithms sensitivity and specificity M Carrara, M Beccuti, F Lazzarato, F Cavallo, F Cordero, S Donatelli, ... BioMed research international 2013 (1), 340620, 2013 | 117 | 2013 |
| Petri nets in performance analysis: An introduction M Ajmone Marsan, A Bobbio, S Donatelli Advanced Course on Petri Nets, 211-256, 1996 | 104 | 1996 |
| GSPN models of Markovian multiserver multiqueue systems MA Marsan, S Donatelli, F Neri Performance Evaluation 11 (4), 227-240, 1990 | 99 | 1990 |
| A comparison of performance evaluation process algebra and generalized stochastic Petri nets S Donatelli, M Ribaudo, J Hillston Proceedings 6th International Workshop on Petri Nets and Performance Models …, 1995 | 94 | 1995 |
| The PSR methodology: integrating hardware and software models S Donatelli, G Franceschinis International Conference on Application and Theory of Petri Nets, 133-152, 1996 | 88 | 1996 |
| On the product form solution for stochastic Petri nets S Donatelli, M Sereno International Conference on Application and Theory of Petri Nets, 154-172, 1992 | 81 | 1992 |
| GSPNs versus SPNs: what is the actual role of immediate transitions? G Chiola, S Donatelli, G Franceschinis Proceedings of the Fourth International Workshop on Petri Nets and …, 1991 | 77 | 1991 |
| State of art fusion-finder algorithms are suitable to detect transcription-induced chimeras in normal tissues? M Carrara, M Beccuti, F Cavallo, S Donatelli, F Lazzarato, F Cordero, ... BMC bioinformatics 14 (Suppl 7), S2, 2013 | 76 | 2013 |
| Quantification of dependencies between electrical and information infrastructures M Beccuti, S Chiaradonna, F Di Giandomenico, S Donatelli, ... International Journal of Critical Infrastructure Protection 5 (1), 14-27, 2012 | 74 | 2012 |
