Bibliography generated from bib-donatelli.bib

M. Ajmone Marsan, G. Balbo, G. Chiola, and S. Donatelli. On the product form solution of a class of multiple bus multiprocessor system models. In International Workshop on Modeling and Performance Evaluation of Parallel Systems, sponsored by IFIP WG7.3 (computer system modelling), Grenoble, France, December 1984.
M. Ajmone Marsan, G. Balbo, G. Chiola, and S. Donatelli. On the Product Form Solution of a Class of Multiple Bus Multiprocessor System Models. Journal of Systems and Software, 1, 2(6):117-124, 1986.
G. Chiola, S. Donatelli, and G. Soldà. Construction and validation of a Petri net model of a layered protocol architecture. In Proceedings IEEE TENCON 89, Bombay, India, November 1989. IEEE-CS Press.
M. Ajmone Marsan, S. Donatelli, and F. Neri. GSPN models of multiserver multiqueue systems. In Proceedings 3rd International Workshop on Petri Nets and Performance Models, Kyoto, Japan, December 1989. IEEE-CS Press.
S. Donatelli. L'uso delle reti di Petri per la valutazione e la validazione di sistemi di grandi dimensioni. PhD thesis, Dipartimento di Informatica - Università di Torino, Febbraio 1990.
M. Ajmone Marsan, S. Donatelli, and F. Neri. GSPN Models of Markovian Multiserver Multiqueue Systems. Performance Evaluation, 11(4), November 1990. North Holland Elsevier.
M. Ajmone Marsan, S. Donatelli, F. Neri, and L.F. De Moraes. Analysis of symmetric nonex-haustive polling with multiple servers. In Proceedings of IEEE Conference on Computer Communication: INFOCOM 90, San Francisco, CA, USA, June 1990. IEEE-CS Press.
G. Chiola, S. Donatelli, and G. Franceschinis. GSPN versus SPN: What is the Actual Role of Immediate Transitions? In Proceedings 4 th Int. Conference on Petri Nets and Performance Models, Melbourne, Australia, December 1991. IEEE-CS Press.
G. Chiola, S. Donatelli, and G. Franceschinis. On Parametric P/T Nets and their Modelling Power. In Proceedings 12th International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June 1991.
G. Chiola, S. Donatelli, and G. Franceschinis. Priorities, Inhibitor Acrs, and Concurrency in P/T Nets. In Proceedings 12th International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June 1991.
S. Donatelli. Superposed Stochastic Automata: a class of Stochastic Petri Nets amenable to parallel solution. In Proceeding 4th Int. Conference on Petri Nets and Performance Models, Melbourne, Australia,, December 1991. IEEE-CS Press.
M.AjmoneMarsan, G.Balbo, G.Chiola, G.Conte, S.Donatelli, and G.Franceschinis. An Introduction to Generalized Stochastic Petri Nets. International Journal of Microelectronics and Reliability, Special issue on Petri nets and related graph models, 31(4):699-725, 1991. Pergamon Press.
M. Ajmone Marsan, S. Donatelli, and F. Neri. Multiserver Multiqueue Systems with Limited Service and Zero Walk Time. In INFOCOM 91, Bal Harbor, Florida, USA, April 1991.
M. Ajmone Marsan, S. Donatelli, F. Neri, and U. Rubino. GSPN Models of Random, Cyclic, and Optimal 1-Limited Multiserver Multiqueue Systems. In Proceedings of ACM Conference on Computer Communication: SIGCOM 91, Zurich, Switzerland. ACM Press, September 1991.
M. Ajmone Marsan, S. Donatelli, F. Neri, and U. Rubino. On the Construction of Abstract GSPNs: An Exercise in Modeling. In Proceeding 4th International Workshop on Petri Nets and Performance Models, Melbourne, Australia, pages 54-63. IEEE-CS Press, December 1991.
G. Balbo, S. Donatelli, and G. Franceschinis. Understanding Parallel Programs Behaviour through Petri Net Models. Journal of Parallel and Distributed Computing, 15(3), July 1992. Academic Press, Inc.
S. Donatelli and M. Sereno. On the product form solution for stochastic Petri nets. In Proceedings of the 13th international conference on Application and theory of Petri nets, Sheffield, UK, LNCS 616, pages 154-172. Springer-Verlag, June 1992.
M. Ajmone Marsan, L.F. de Moraes, S. Donatelli, and F. Neri. Cycles and Waiting Times in Symmetric Exhaustive and Gated Multiserver Multiqueue Systems. In INFOCOM 92, Firenze, Italy, May 1992. IEEE-CS Press.
C. Anglano and S. Donatelli. On the Use of Communication Graphs in Automatic Mapping. In Proceedings of the 1st Euromicro Workshop on Parallel and Distributed Processing, May 1993. IEEE-CS Press.
C. Anglano, S. Donatelli, and R. Gaeta. Parallel Architectures with Regular Structure: A Case Study in Modelling using Stochastic Well-formed Petri nets. In Proceedings of the Fifth International Workshop on Petri Nets and Performance Models, Toulouse, France, 20-22 October 1993. IEEE-CS Press.
G. Balbo, S. Donatelli, G. Franceschinis, A. Mazzeo, N. Mazzocca, M. Ribaudo, and S. Russo. DISC-GreatSPN: an Integrated System for Distributed Software Development and Validation. In Proceedings della Conferenza AICA93, Settembre 1993.
S. Donatelli. Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space. Performance Evaluation, (18):21-36, 1993. North Holland - Elsevier.
S. Donatelli, G. Franceschinis, M. Ribaudo, and S. Russo. Petri Net Based Concurrent Software Validation in the DISC-GreatSPN Environment. In Proceedings of the 1st Workshop on Software Engineering for Parallel Systems (World Transputer Congress), Aachen, Germany, September 1993.
M. Ajmone Marsan, S. Donatelli, F. Neri, and U. Rubino. Good and Bad Dynamic Polling Orders in Symmetric Single Buffer Markovian Multiqueue Systems. In INFOCOM 93, San Francisco, USA, March 1993. IEEE-CS Press.
S. Donatelli. Superposed Generalized Stochastic Petri Nets: definition and efficient solution. In Proceedings of the 15th International Conference on Application and Theory of Petri Nets, Zaragoza,Spain, LNCS 815, pages 258-277. Springer-Verlag, June 1994.
G.Balbo, S.Donatelli, G.Franceschinis, A.Mazzeo, N.Mazzocca, and M.Ribaudo. On the Computation of Performance Characteristics of Concurrent Programs using GSPNs. Performance Evaluation, (19):195-222, March 1994. North Holland Elsevier.
M. Ajmone Marsan, S. Donatelli, F. Neri, and G. Fantini. Some Numerical Results on Finite-Buffer Markovian Multiserver Polling Systems. In SBT/IEEE International Telecommunications symposium, Rio de Janeiro, Brasile, 22-26 August 1994. IEEE-CS Press.
N. Mazzocca S. Donatelli, G. Franceschinis and S. Russo. Software Architecture of the EPOCA Integrated Environment. In Proceeding of the 7th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Wien, LNCS 794. Springer-Verlag, 3-6 May 1994.
S.Donatelli, G.Franceschinis, M.Ribaudo, and S.Russo. Use of GSPNs for concurrent software validation in EPOCA. Information and Software Technology, Special issue on Software Engineering for Parallel Systems, 36(7):443-448, July 1994. Butterworth-Heinemann Ed.
S. Donatelli, H. Hermanns, J. Hillston, and M. Ribaudo. GSPN and SPA Compared in Practice. In F. Bacelli, A. Jean-Marie, and I. Mitrani, editors, Quantitative Methods in Parallel Systems, pages 38 -- 51. Springer Verlag, October 1995. Esprit Basic Research Series.
S. Donatelli, J. Hillston, and M. Ribaudo. A comparison of Performance Evaluation Process Algebra and Generalized Stochastic Petri Nets. In Proceedings 6th Intern. Workshop on Petri Nets and Performance Models, Durham, NC, USA, October 1995. IEEE-CS Press.
S. Donatelli, N. Mazzocca, and S. Russo. A CASE System for Petri Net Modelling of CSP-like Programs. Transputer Communications, November 1995. Wiley&Sons.
M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley Series in Parallel Computing, 1995. http://www.di.unito.it/WWW/PEgroup/GreatSPN/GSPN-Wiley.html.
M. Ajmone Marsan, S. Donatelli, F. Neri, and U. Rubino. Dynamic polling orders in multiserver multiqueue systems. IEE Proceedings on Communications, 142(2):75-86, April 1995.
S.Donatelli and G.Franceschinis. State space reductions using stochastic well-formed net simplifications: an application to random polling systems. In Extended abstract in Proceedings of the SIGMETRICS/PERFORMANCE 1995, Ottawa, Canada, May 1995. ACM Press.
S. Donatelli, N. Mazzocca, and S. Russo. EPOCA: status and prospectives. In Software Engineering for Parallel and Distributed Systems (proceedings of the 1st IFIP workshop on Parallel and Distributed Software Engineering, Berlin 25-26 March 1996). Chapman & Hall, April 1996 London.
S. Donatelli, N. Mazzocca, and S. Russo. Client-server programs analysis in the EPOCA environment. Distributed Systems Engineering Journal, (3), 1996. (a journal co-published by The British Computer Society, The Institution of Electrical Engineers and Institute of Physics Publishing).
M. Ajmone Marsan, S. Donatelli, F. Neri, and A. Scalia. Approximate GSPN Analysis of Multiserver Polling Systems. In Proceedings International Conference on Telecommunication, Distribution and Parallelism (TDP'96), La Londe Les Maures, Francia, June 1996.
S.Donatelli and G.Franceschinis. The PSR methodology: integrating hardware and software models. In 17th International Conference on Application and Theory of Petri Nets, Osaka, Japan, ,LNCS 1091. Springer Verlag, June 1996.
O.Botti S.Donatelli and G.Franceschinis. Assessing the performance of multiprocessor architectures through SWN models simulation: a case study in the field of plant automation systems. In Proceedings of the 29th Annual Simulation Symposium, New Orleans, Louisiana, USA, April 8-11 1996. IEEE-CS Press.
C. Anglano, O. Botti, S. Donatelli, and G. Franceschinis. Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN. In Proc. 7th Int. Workshop on Petri Nets and Performance Models, St. Malo, France, 3-6 June 1997. IEEE-CS Press.
J. Campos, S. Donatelli, and M. Silva. Structured of Stochastic DSSP Systems. In Proc. 7th International Workshop on Petri Nets and Performance Models, St. Malo, Francia, Giugno 3-6 1997. IEEE-CS Press.
M.Ajmone Marsan, S.Donatelli, G.Franceschinis, and F.Neri. Reductions in Generalized Stochastic Petri Nets and Stochastic Well-formed Nets: An Overview and an Example of Application. In K. Bagchi J. Walrand and G. W.Zobrist, editors, The monograph State-of-the-art in Performance Modeling and Simulation: Network Theory, Tools and Tutorials. Gordon and Breach Publishers INC, 1997. accepted for pubblication in 1996.
S. Donatelli, C. Simone, and D. Trentin. Combining abstraction and context: a challenge in formal approaches to workflow management. In W. van der Aalst, G. De Michelis, and C.A. Ellis, editors, Workshop on Workflow Management: net-based concepts, models, techniques and tools (WFM 98). June 1998 - Lisbon (Portugal).
S. Donatelli and G. Franceschinis. Modelling and analysis of distributed software using GSPNs. In Lectures on Petri Nets II: Applications - LCNS 1492. Springer Verlag, 1998.
S. Donatelli, S. Haddad, and P. Moreaux. Structured Characterization of the Markov Chain of Phase-Type SPN. In Prooceding of the 10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, LNCS 1469. Springer Verlag, Palma de Mallorca, 14-18 September 1998.
M. Ajmone Marsan, A. Bobbio, and S. Donatelli. Petri Nets in performance analysis, and introduction. In W. Reisig and G. Rozenberg, editors, Lectures in Petri Nets I: basic models, LNCS 1491, pages 211-256. Springer Verlag, Berlin 1998.
O. Botti, V. De Florio, G. Deconinck, F. Cassinari, S. Donatelli, A. Bobbio, A. Klein, H. Kufner, R. Lauwereins, E. Thurner, and E. Verhulst. TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications. In P Berger P. Amestoy and V. Frayssé L. Giraud D. Ruiz M. Daydé, I. Duff, editors, Proceedings 5th Int. Euro-Par Conference on Parallel Processing (Europar'99) - Lecture Notes in Computer Science Vol. 1685, pages 1166-1170. Springer Verlag, Berlin, Germany, Toulouse, France, Aug. 31-Sep. 3 1999.
J. Campos, S. Donatelli, and M. Silva. Structured Solution of Asynchronously Communicating Stochastic Modules. In IEEE Transactions on Software Engineering, page 25(2), April 1999.
S. Donatelli and editors J. Kleijn, editors. Proceedings 20th International Conference Application and Theory of Petri Nets. Springer Verlag, LNCS 1639, June 1999.
S. Donatelli, S. Haddad, P.Moreaux, and M. Sene. Bounds for rewards of systems with client/server interaction. In B. Plateau, W. Stewart, and M. Silva, editors, Proceedings of Numerical solution of Markov Chain 1999. September, Zaragoza (Spagna) 1999.
M. Ajmone Marsan, S. Donatelli, G. Franceschinis, and F. Neri. Reductions in GSPN and SWN: an Overview and an Example of Application. In K. Bagchi, J. Walrand, and G.W. Zobrist, editors, The monograph "State of the Art in Performance Modelling and Simulation: Network Theory, Tools and Tutorials. Gordon and Breach Publisher, 1999.
A.Miner and G. Ciardo and S. Donatelli. Using the exact state space of a Markov model to compute approzimate stationary measures. In Proceedings 2000 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, Santa Chiara, CA, USA, pages 207-216, June 17-21 2000. Special issue of the ACM Sigmetrics Performance evaluation Review, Vol. 28 - N. 1.
O. Botti, V. De Florio, G. Deconinck, R. Lauwereins, F. Cassinari, S. Donatelli, A. Bobbio, A. Klein, H. Kufner, E. Thurner, and E. Verhulst. The TIRAN Approach to REusing Software Implemented Fault Tolerance. In Proceedings 8th Euromicro Workshop on Parallel and Distributed Processing (PDP2000), pages 325-332. (IEEE Comp. Soc. Press, Los Alamitos, CA), Rhodes, Greece, Jan. 19-21 2000.
P. Buchholz, C. Ciardo, S. Donatelli, and P. Kemper. Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models. pages 203-222. INFORMS Journal on Computing, Summer 2000. Vol. n. 12 - n. 3.
S. Donatelli, M. Sarini, and C. Sarini. Negotiating propagation of changes in interorganizational workflows. In Wil van der Aalst and Stefan ?Jablonski, editors, International Journal of Computer Systems Science & Engineering, pages 359-372. CRL publishing ltd., London - (Special issue on "Flexible Workflow Technology Driving the Networked Economy), September 2000. Vol. 15 - N. 5.
S. Donatelli, M. Sarini, and C. Simone. Toward a Contextual Information Service supporting adaptability and awareness promotion in CSCW systems. In Proceedings of the 5th International Conference on the Design of Cooperative Systems (COOP'2000), Nice, France, pages 83-98. published in the Series "Frontiers in Artificial Intelligence and Applications, May 2000. Vol. 58 - IOS press.
P. Ballarini and S. Donatelli and G. Franceschinis. Parametric Stochastic Well-formed Nets and compositional modelling. In M. Nielsen and D. Simpson, editors, Proceedings 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark - LNCS 1825, pages 43-62. Springer-Verlag., June 2000.
S. Bernardi AND S. Donatelli. Performance validation of fault-tolerance software: a compositional approach. 2000.
S. Bernardi and S. Donatelli and A. Horvath. Compositionality in the GreatSPN tool and its application to the modelling of industrial applications. In Proceedings of the Workshop on the practical use of High Level Petri nets, Aarhus, Denmark, pages 127-146. Daimi PB-547, June 2000.
S. Donatelli and P. Kemper. Integrating Synchronization with Priority into a Kronecker Representation. accepted for pubblication on Performance Evaluation, B. Haverkort Editor, Mar ch 2000. special issue of the 11th International Conference TOOLS 2000, Schaumburg, USA, North Holland Elsevier.
S. Donatelli and P. Kemper. Integrating Synchronization with Priority into a Kronecker Representation. In Proceedings 11th International Conference TOOLS 2000, Schaumburg, USA, LNCS 1786, pages 41-55. Springer-Verlag, March 2000.

<><>S. Bernardi, C. Bertoncello, S. Donatelli, G. Franceschinis, R. Gaeta, M. Gribaudo, and A. Horváth. GreatSPN in the new millenium. In Tool Session of 9th Intern. Workshop on Petri Nets and Performance Models, Aachen, Germany, 2001, 11-14 September.

<><>

<><> S. Bernardi e S. Donatelli, Performance validation of fault-tolerance software: a compositional approach, Proceedings of the International conference on dependable systems and networks DSN2001, Goteborg, Sweden, 1-4 July 2001, IEEE-CS edition, pp. 379-388.

<><>

<> <>S. Bernardi, S. Donatelli, and A. Horváth. Special session on the practical use of high-level Petri Nets: Implementing compositionality for stochastic petri nets. International Journal on Software Tools for Technology Transfer (STTT), 3(4), pp. 417-430, 2001.

<><>

S. Donatelli, "Petri nets and Kronecker algebra: is it worth the effort?", invited talk and paper at Proc. 22^nd International conference on application and theory of Petri nets LNCS 2075, New Castle, UK, June 2001, pp. 1-18, Springer-Verlag, M. Koutny and J.M. Colom Editors.

[2] P. Ballarini, S. Bernardiand S. Donatelli, Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization, Proceedings of the International Conference on Dependable Systems & Networks (DSN), Washington, D.C., USA, June 23-26, 2002, pp. 773-782
<>S. Bernardi, S. Donatelli, J. Merseguer, "From UML Sequence Diagrams and Statecharts to analys able Petri Net models", Proceedings of the 3^rd International Workshop on Software and Performance (WOSP), ACM Press, Roma, July 2002, pp. 35-45.

<>V. De Florio, S. Donatelli, G. Dondossola, "Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems", Proc. of the 9^th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), IEEE Comp. Soc. Press, Los Alamitos, CA, Lund, Sweden, 8-11 April, 2002.

[ S. Donatelli and L. Ferro, Validation of GSPN and SWN Models through the PROD Tool", 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation. (TOOLS 2002), LNCS 2324, London, UK, April 2002, pp.131-140.
J. Merseguer, S. Bernardi, J. Campos, S. Donatelli, "A compositional semantics for UML State Machines aimed at performance evaluation, Proceedings of the 6^th International Workshop on Discrete Event Sustems (WODES), IEEE-CS, Zaragoza, Spain, October 2002, pp. 295-302.
S. Bernardi and S. Donatelli “Building Petri Net scenarios for Dependable Automation Systems.” Proceedings of the 10th International Workshop on Petri Nets and Performance Models (PNPM03), IEEE Computer Society, Urbana, Illinois (USA), September 2003, pages 72-81.
<>D'Aprile, S. Donatelli, J. Sproston. CSL Model Checking for the GreatSPN Tool. ISCIS’04, vol. LNCS 3280, Springer Verlag, 2004.<><><>
<><><><>J. Sproston, S. Donatelli. Backward Stochastic Bisimulation in CSL Model Checking. J. Sproston and S. Donatelli. Backward Stochastic Bisimulation in CSL Model Checking, QEST’04, IEEE CS Press, IEEE CS Press, 2004.
<><><><>M. Iliè, S. Baarir, M. Beccuti, C. Delamare, S. Donatelli, C, Dutheillet, G. Franceschinis, R. Gaeta, P. Moreaux.. "Extended SWN solvers in GreatSPN" (Tool presentation paper). Proc. 1st Int. Conference on Quantitative Evaluation of Systems QEST 2004). Enschede, NL, IEEE Comp. Soc. Press, 2004
S. Bernardi, A. Bobbio, S. Donatelli. Petri Nets and dependability. In vol. 3098 of LNCS, Springer Verlag , pp. 125-179, 2004.
S. Bernardi, S. Donatelli. Stochastic Petri Nets and inheritance for dependability modelling. Proceedings of the 10th Pacific Rim International Symposium on Dependable Computing (PRDC04), pp. 363-372, IEEE CS-Press, February 2004.
S. Bernardi, S. Donatelli, G. Dondossola. A class diagram framework for collecting dependability requirements in automation systems. 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04), November 2004. Technical Report TR2004-6. Department of Computer Science - University of Cyprus. To appear in Post-Proceedings of ISOLA.
<>S. Bernardi, S. Donatelli, G. Dondossola. Towards a methodological Approach to Specification and Analysis of Dependable Automation Systems. In Proceedings of the 1st International Joint Conference on Formal Modelling and Analysis of Timed Systems (FORMATS) and on Formal Techniques in Real-Time and Fault Tolerant System (FTRTFT), LNCS 3253, Springer Verlag, 2004.