A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems

Journal of Systems Architecture

Volumn 42, Issue 6-7 SPEC. ISS., 1996, Pages 503-530

  Botti, Oliver ^a   Capra, Lorenzo ^b  

^a ENEL   (Italy)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

Concurrent applications; GSPN; Parallel architectures; Performance indices; Performance dependability prediction

Indexed keywords

EID: 0041537786     PISSN: 13837621     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1383-7621(96)00037-9     Document Type: Article

References (31)

1. M. Ajmone Marsan, Stochastic Petri nets: An elementary introduction, in: G. Rozenberg (ed.), Advances in: Petri Nets 89 (LNCS Vol. 424, Springer-Verlag, 1989).
2. M. Ajmone Marsan, Generalized stochastic Petri nets: Definition at the net Level, IEEE TSE (1992).
3. G. Balbo, S. Donatelli and G. Franceschinis, Understanding parallel programs behaviour through Petri net models, Special Issue of Journal of Parallel and Distributed Computing on Petri Net Modelling of Parallel Computers (1992).
4. G. Balbo, S. Donatelli, G. Franceschinis, A. Mazzeo, R. Mazzola and M. Ribaudo, On parallel programs characterization, Proceedings of the Conference on Performance Evaluation (1992).
5. E. Battiston, O. Botti, E. Crivelli and F. De Cindio, An incremental specification of a hydroelectric power plant control systems using a class of modular algebraic nets, Proceedings of 16th International Conference on Application and Theory of Petri Nets (LNCS Vol. 935, Springer, Torino, 1995).
6. E. Battiston, F. De Cindio and G. Mauri, OBJSA nets: A class of high-level nets having objects as domains, in: K. Jensen and G. Rozenberg (eds.), High Level Petri Nets, Theory and Applications (Springer-Verlag, 1991).
7. C. Béounes et al., Surf-2: A program for dependability evaluation of complex hardware and software systems, IEEE 23th International Symposium on Fault-Tolerant Computing (1993).
8. E. Best and M. Koutny, A refined view of box algebra, Proceedings of the 16th International Conference on Application and Theory of Petri Nets (Torino, 1995).
9. A. Bobbio, Stochastic reward models in performance/reliability analysis, ACM Journal on Communications 18 (1992).
10. O. Botti et al., Simulation of high-voltage substations on parallel architectures, Proceedings of the international Conference on High Performance Computing and Networking '96 (LNCS Vol. 1067, Springer-Verlag, Bruxelles, 1996).
11. O. Botti, L. Capra and C. Bergomi, Stochastic Petri net evaluation techniques in plant automation: Tuning performance indices for distributed applications, IEEE Proceedings of the 7th Euromicro Workshop on Real-Time Systems (Odense, Denmark, 1995).
12. O. Botti and F. De Cindio, From basic to timed net models of Occam: An application to program placements, IEEE Proceedings of the 4th International Workshop on Petri Nets and Performance Models (Melbourne, Australia, 1991).
13. O. Botti and F. De Cindio, Comparison of Occam program placements by a generalized stochastic Petri net model, Proceedings of the Conference Transputer '92: Advanced Research and Industrial Applications (Besancon, France, 1992).
14. O. Botti and F. De Cindio, Process and resource boxes: An integrated PN performance model for applications and architectures, IEEE Proceedings of the International Conference on Systems, Man and Cybernetics (Le Toquet, France, 1993).
15. O. Botti, S. Donatelli and G. Franceschinis, SWN models of parallel architectures: An application in the field of plant automation systems, Proceedings of 16th International Conference on Application and Theory of Petri Nets - Case-Studies section (Torino, 1995).
16. 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, IEEE Proceedings of the 29th Annual Simulation Symposium (New Orleans, USA, 1996).
17. L. Capra and O. Botti, Le reti di Petri stocastiche per l'analisi di dependability e di performability: Collocazione in una rassegna di metodi e strumenti, ENEL-CRA Technical Report 437-95, 1995 (in Italian).
18. M. Cesana and O. Botti, Definizione ed analisi di un modello in GSPN dello schedulatore di MME, ENEL-CISE Technical Report 33-94, 1994 (in Italian).
19. G. Chiola, A graphical Petri net tool for performance analysis, Proceedings of the 3th International Workshop on Modelling Techniques and Performance Evaluation (AFCET, Paris, 1987).
20. G. Chiola, S. Donatelli and G. Franceschinis, GSPN versus SPN: What is the actual role of immediate transitions?, IEEE Proceedings of the 4th International Workshop on Petri Nets and Performance Models (Melbourne, Australia, 1991).
21. G. Chiola, C. Dutheillet, G. Franceschinis and S. Haddad, Stochastic well-formed coloured nets and multiprocessor modelling applications, in: K. Jensen and G. Rozenberg (eds.), High Level Petri Nets, Theory and Applications (Springer-Verlag, 1991).
22. G. Ciardo and K.S. Trivedi, A decomposition approach for stochastic Petri nets models, Proceedings of 4th International Workshop on Petri Nets And Performance Models (IEEE-CS Press, Melbourne, 1991).
23. S. Donatelli, G. Franceschinis, N. Mazzocca and S. Russo, Software architecture of the EPOCA integrated environment, Proceedings of the 7th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (LNCS 794, 1994).
24. G. Florin and G. Natkin, Les reseaux de Petri stochastiques, Techniques et Science Informatiques 4(1) (1985).
25. C. Ghezzi, D. Mandrioli, S. Morasca and M. Pezzè, A unified high-level Petri net formalism for time critical systems, IEEE TSE 17(2) (1991).
26. R. Hopkins, J. Hall and O. Botti, A basic net algebra for program semantics and its applications to Occam, in: G. Rozenberg (ed.), Advances in: Petri Nets 92 (LNCS No. 609, Springer-Verlag, 1992).
27. C. Lindemann and R. German, DSPNexpress: A software package for efficiently solving deterministic and stochastic Petri nets, in: R. Pooley and J. Hillston (eds.), Performance Tools 1992 (Edinburgh University Press Ltd., 1992).
28. MML multi micro environment: User guide, TxT SpA, Cise SpA, Milano.
29. MML multi micro language: Language reference manual, TxT SpA, Cise SpA, Milano.
30. C. Murray and Y. Li, Performance Petri net analysis of communications protocol software by delay equivalent aggregation, Proceedings of the 4th International Workshop on Petri Nets and Performance Models (IEEE-CS Press, Melbourne, 1991).
31. G. Rozenberg and P.S. Thiagarajan, Petri nets: Basic notions, structure, behaviour, in: G. Rozenberg, W. De Roever and J. de Bakker (eds.), Current Trends in Concurrency (LNCS Vol. 224, Springer Verlag, 1986).