| 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 | 2358 | 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 | 428 | 2002 |
| Superposed generalized stochastic Petri nets: definition and efficient solution S Donatelli Application and Theory of Petri Nets 1994: 15th International Conference …, 1994 | 216 | 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 | 196 | 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 | 162 | 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 | 158 | 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 | 147 | 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 | 121 | 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 | 119 | 2008 |
| Petri nets in performance analysis: An introduction M Ajmone Marsan, A Bobbio, S Donatelli Lectures on Petri Nets I: Basic Models: Advances in Petri Nets 3, 211-256, 1998 | 107 | 1998 |
| 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, 2013 | 101 | 2013 |
| 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 | 97 | 1995 |
| The PSR methodology: integrating hardware and software models S Donatelli, G Franceschinis Application and Theory of Petri Nets 1996: 17th International Conference …, 1996 | 87 | 1996 |
| GSPN models of Markovian multiserver multiqueue systems MA Marsan, S Donatelli, F Neri Performance Evaluation 11 (4), 227-240, 1990 | 83 | 1990 |
| 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 | 75 | 2012 |
| On the product form solution for stochastic Petri nets S Donatelli, M Sereno Application and Theory of Petri Nets 1992: 13th International Conference …, 1992 | 75 | 1992 |
| 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, 1-11, 2013 | 73 | 2013 |
| 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 | 72 | 1991 |
| 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 | 70 | 2016 |
| Using the exact state space of a Markov model to compute approximate stationary measures AS Miner, G Ciardo, S Donatelli Proceedings of the 2000 ACM SIGMETRICS international conference on …, 2000 | 65 | 2000 |
