Susanna Donatelli
Susanna Donatelli
Computer Science Professor, Universita' di Torino (Italy)
Verified email at
Cited by
Cited by
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
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
Superposed generalized stochastic Petri nets: definition and efficient solution
S Donatelli
Application and Theory of Petri Nets 1994: 15th International Conference …, 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
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
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
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
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
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
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
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
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
The PSR methodology: integrating hardware and software models
S Donatelli, G Franceschinis
Application and Theory of Petri Nets 1996: 17th International Conference …, 1996
GSPN models of Markovian multiserver multiqueue systems
MA Marsan, S Donatelli, F Neri
Performance Evaluation 11 (4), 227-240, 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
On the product form solution for stochastic Petri nets
S Donatelli, M Sereno
Application and Theory of Petri Nets 1992: 13th International Conference …, 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
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20