Donatelli, S.

• D`Aprile, Davide; Donatelli, Susanna; Sproston, Jeremy:
  CSL Model Checking for the GreatSPN Tool. 2004.

• Bernardi, Simona; Bobbio, Andrea; Donatelli, Susanna:
  Petri Nets and Dependability. 2004.

• Chung, M.-Y.; Ciardo, G.; Donatelli, S.; He, N.; Plateau, B.; Stewart, W.; Sulaiman, E.; Yu, J.:
  A Comparison of Structural Formalisms for Modeling Large Markov Models. 2004.

• Bernardi, Simona; Donatelli, Susanna:
  Stochastic Petri Nets and Inheritance for Dependability Modelling. 2004.

• Bernardi, Simona; Donatelli, Susanna:
  Building Petri net scenarios for dependable automation systems. 2003.

• Bernardi, Simona; Donatelli, Susanna; Merseguer, José:
  From UML sequence diagrams and statecharts to analysable petri net models. 2002.

• Merseguer, J.; Bernardi, S.; Campos, J.; Donatelli, S.:
  A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. 2002.

• Donatelli, Susanna; Ferro, Liliana:
  Validation of GSPN and SWN Models through the PROD Tool. 2002.

• Bernardi, S.; Donatelli, S.; Horváth, A.:
  Implementing compositionality for stochastic Petri nets. 2001.

• Donatelli, S.:
  Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?. 2001.

• Ballarini, Paolo; Donatelli, Susanna; Franceschinis, Giuliana:
  Parametric Stochastic Well-Formed Nets and Compositional Modelling. 2000.

• Donatelli, Susanna; Kemper, Peter:
  Integrating Synchronization with Priority into a Kronecker Representation. 2000.

• Donatelli, S.; Sarini, M.; Simone, C.:
  Negotiating propagation of changes in inter-organizational workflows. 2000.

• Bernardi, S.; Donatelli, S.; Horváth, A.:
  Compositionality in the GreatSPN Tool and Its Application to the Modelling of Industrial Applications. 2000.

• Campos, J.; Donatelli, S.; Silva, M.:
  Structured Solution of Asynchronously Communicating Stochastic Modules. 1999.

• Ajmone Marsan, M.; Bobbio, A.; Donatelli, S.:
  Petri Nets in Performance Analysis: An Introduction. 1998.

• Donatelli, S.; Franceschinis, G.:
  Modelling and Analysis of distributed Software Using GSPNs. 1998.

• Donatelli, S.; Haddad, S.; Moreaux, P.:
  Structured characterization of the Markov chain of phase-type SPN. 1998.

• Anglano, C.; Donatelli, S.; Franceschinis, G.; Botti, O.:
  Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN. 1997.

• Campos, J.; Silva, M.; Donatelli, S.:
  Structured Solution of Stochastic DSSP Systems. 1997.

• Botti, O.; Donatelli, S.; Franceschinis, G.:
  Assessing the performance of multiprocessor architectures through SWN model simulation: a case study in the field of plant automation systems. 1996.

• Donatelli, Susanna; Franceschinis, Giuliana:
  The PSR Methodology: Integrating Hardware and Software Models. 1996.

• Donatelli, S.; Mazzocca, N.; Russo, S.:
  A CASE system for Petri net modelling of CSP-like programs. 1995.

• Donatelli, S.; Ribaudo, M.; Hillston, J.:
  A comparison of Performance Evaluation. 1995.

• Donatelli, Susanne:
  Superposed Generalized Stochastic Petri nets: definition and efficient solution. 1994.

• Donatelli, S.; Franceschinis, G.; Mazzocca, N.; Russo, S.:
  Software Architecture of the EPOCA Integrated Environment. 1994.

• Donatelli, S.; Franceschinis, G.; Russo, S.; Ribaudo, M.:
  Use of GSPNs for Concurrent Software Validation in EPOCA. 1994.

• Anglano, C.; Donatelli, S.; Gaeta, R.:
  Parallel Architectures with Regular Structure: a Case Study in Modelling using Stochastic Well-formed Coloured Petri Nets. 1993.

• Balbo, G.; Donatelli, S.; Franceschinis, G.:
  Understanding Parallel Program Behavior through Petri Net Models. 1992.

• Donatelli, Susanna; Sereno, Matteo:
  On the product Form Solution for Stochastic Petri Nets. 1992.

• Ajmone Marsan, M.; Balbo, G.; Chiola, G.; Conte, G.; Donatelli, S.; Franceschinis, G.:
  An Introduction to Generalized Stochastic Petri Nets. 1991.

• Ajmone Marsan, M.; Donatelli, S.; Neri, F.; Rubino, U.:
  On the Construction of Abstract GSPNS: An Exercise in Modeling. 1991.

• Chiola, Giovanni; Donatelli, Susanna; Franceschinis, Giuliana:
  GSPNs versus SPNs: What is the actual role of immediate transitions?. 1991.

• Donatelli, Susanna:
  Superposed Stochastic Automata: a class of Stochastic Petri nets amenable to parallel solution. 1991.

• Chiola, Giovanni; Donatelli, Susanna; Franceschinis, Guiliana:
  On Parametric P/T Nets and their Modelling Power. 1991.

• Chiola, Giovanni; Donatelli, Susanna; Franceschinis, Guiliana:
  Priorities, Inhibitor Arcs, and Concurrency in P/T Nets. 1991.

• Ajmone Marsan, M.; Donatelli, S.; Neri, F.:
  GSPN Models of Markovian Multiserver Multiqueue Systems. 1990.

• Ajmone Marsan, M.; Donatelli, S.; Neri, F.:
  GSPN Models of Multiserver Multiqueue Systems. 1990.

• Chiola, G.; Donatelli, S.; Solda, G.:
  Construction and validation of a Petri net model of a layered protocol architecture. 1989.

• Ajmone Marsan, M.; Balbo, G.; Chiola, G.; Donatelli, S.:
  On the Product-Form Solution of a Class of Multiple-Bus Multiprocessor System Models. 1986.

Back to the Petri Nets Bibliography