Author of the publication

From UML sequence diagrams and statecharts to analysable petrinet models.

, , and . Workshop on Software and Performance, page 35-45. ACM, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Donatelli, Susanna
add a person with the name Donatelli, Susanna
 

Other publications of authors with the same name

Revisiting the matrix-free solution of Markov regenerative processes., and . Numerical Lin. Alg. with Applic., 18 (6): 1067-1083 (2011)Quantification of dependencies between electrical and information infrastructures., , , , , and . IJCIP, 5 (1): 14-27 (2012)Understanding Parallel Program Behavior through Petri Net Models., , and . J. Parallel Distrib. Comput., 15 (3): 171-187 (1992)On the use of communication graphs in automatic mapping., and . PDP, page 490-498. IEEE, (1993)Structured solution of stochastic DSSP systems., , and . PNPM, page 91-100. IEEE, (1997)DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN., and . QEST, page 79-80. IEEE Computer Society, (2010)Parametric Stochastic Well-Formed Nets and Compositional Modelling., , and . ICATPN, volume 1825 of Lecture Notes in Computer Science, page 43-62. Springer, (2000)The PSR Methodology: Integrating Hardware and Software Models., and . Application and Theory of Petri Nets, volume 1091 of Lecture Notes in Computer Science, page 133-152. Springer, (1996)TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications., , , , , , , , , and 1 other author(s). Euro-Par, volume 1685 of Lecture Notes in Computer Science, page 1166-1170. Springer, (1999)Using the exact state space of a Markov model to compute approximate stationary measures., , and . SIGMETRICS, page 207-216. ACM, (2000)