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 | 2488 | 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 | 445 | 2002 |
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 | 197 | 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 | 176 | 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 | 164 | 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 | 153 | 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 | 127 | 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 | 120 | 2008 |
Petri nets in performance analysis: An introduction M Ajmone Marsan, A Bobbio, S Donatelli Advanced Course on Petri Nets, 211-256, 1996 | 116 | 1996 |
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 | 113 | 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 | 98 | 1995 |
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 | 94 | 2016 |
The PSR methodology: integrating hardware and software models S Donatelli, G Franceschinis Application and Theory of Petri Nets 1996: 17th International Conference ¡¦, 1996 | 89 | 1996 |
GSPN models of Markovian multiserver multiqueue systems MA Marsan, S Donatelli, F Neri Performance Evaluation 11 (4), 227-240, 1990 | 87 | 1990 |
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 | 77 | 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 | 75 | 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 | 75 | 2012 |
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 | 75 | 1991 |
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 | 68 | 2000 |