Implementing compositionality for stochastic Petri nets

International Journal on Software Tools for Technology Transfer

Volumn 3, Issue 4, 2001, Pages 417-430

  Bernardi, S ^a   Donatelli, S ^a   Horvath A ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Composi tionality; Fault tolerance; Formed nets; Modularity; Performance analysis; Stochastic well

Indexed keywords

COMPOSI-TIONALITY; FORMED NETS; GENERALIZED STOCHASTIC PETRI NETS; MODULARITY; PERFORMANCE ANALYSIS; PORTABLE SOFTWARE; STOCHASTIC PETRI NETS; STOCHASTIC WELL-FORMED NETS;

FAULT TOLERANCE; STOCHASTIC SYSTEMS; TOOLS;

FUNCTION EVALUATION;

EID: 84896689158     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s100090100065     Document Type: Article

References (23)

1. Ballarini, P., Donatelli, S., Franceschinis, G.: Parametric stochastic well-formed nets and compositional modelling.In: Proc.of the 21st International Conference in Application and Theory of Petri Nets, ICATPN 2000, Aarhus, Denmark, June 2000.LNCS 1825.Berlin, Heidelberg, New York: Springer-Verlag, 2000, pp.43-62
2. Battiston, E., Botti, O., Crivelli, E., De Cindio, F.: An incremental specification of a hydroelectric power plant control system using a class of modular algebraic nets.In: Proc.of the 16th International Conference on Application and Theory of Petri nets, Torino, Italy, 1995.LNCS 935.Berlin, Heidelberg, New York: Springer-Verlag, 1995, pp.84-102
3. Best, E., Devillers, R., Hall, J.: The Petri box calculus: a new causal algebra with multilabel communication.In: Rozenberg, G.(ed.): Advances in Petri Nets, LNCS 609.Berlin, Heidelberg, New York: Springer-Verlag, 1992, pp.21-69
4. 2. In: Proc. of the 16th International Conference on Application and Theory of Petri nets, Torino, Italy, 1995.LNCS 935.Berlin, Heidelberg, New York: Springer-Verlag, 1995, pp.103-120
5. Botti, O., De Florio, V., Deconinck, G., Lauwreins, R., Cassi-nari, F., Bobbio, A., Donatelli, S., Lein, A., Kufner, H., Thurner, E., Verhulst, E.: The TIRAN approach to reusing software implemented fault-tolerance.In: Proc.8th Euromicro Workshop on Parallel and Distributed Processing (PDP2000), Rhodes, Greece, Jan.2000
6. Buchholz, P.: A hierarchical view of GCSPN and its impact on qualitative and quantitative analysis.J Parallel Distrib Com-put 15: 207-224, 1992
7. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: On well-formed coloured nets and their symbolic reachability graph.In: Proc.11th Intern.Conference on Application and Theory of Petri Nets, pp.387-411, Paris, France, June 1990. Reprinted in: Jensen, K., Rozenberg, G. (eds.): High-level Petri nets.Theory and Application.Berlin, Heidelberg, New York: Springer-Verlag, 1991
8. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: A Symbolic Reachability Graph for Coloured Petri Net. Theoret Comput Sci B 176(1/2): 39-65, 1997
9. Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo M.: Great-SPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Eval 24(1/2): 47-68, 1995
10. Christensen, S., Petrucci, L.: Modular state space analysis of coloured Petri nets.In: Proc.of the 16th International Conference on Application and Theory of Petri nets 1995, Torino, Italy, 1995.LNCS 935.Berlin, Heidelberg, New York: Springer-Verlag, 1995, pp.201-207
11. Couvreur, J.M., Martinez, J.: Linear invariants in commutative high-level nets.In: Proc.10th Intern.Conference on Application and Theory of Petri Nets, Bonn, Germany, June 1989
12. CPN-AMI.: http://www-src.lip6.fr/cpn-ami.html
13. Donatelli, S., Franceschinis, G.: The PSR methodology: integrating hardware and software models.In: Proc.of the 17th International Conference in Application and Theory of Petri Nets, ICATPN'96, Osaka, Japan, June 1996.LNCS 1091. Berlin, Heidelberg, New York: Springer-Verlag, 1995, pp.133-152
14. Design/CPN.: http://www.daimi.au.dk/designCPN
15. Haddad, S., Moreaux, P.: Evaluation of high level Petri nets by means of aggregation and decomposition.In: Proc.of the 6th International Workshop on Petri Nets and Performance Models, pp. 11-20, Durham, N.C., USA, October 1995
16. Hillston, J.: The nature of synchronization. In: Herzog, U., Rettelbach, M.(eds.): Proc.2nd Workshop on Process Algebra and Performance Modelling, pp. 51-70, Erlangen, Germany, 1994
17. HiQPN.: http://www4.cs.uni-dortmund.de/QPN
18. Jensen, K.: Coloured Petri nets, basic concepts, analysis methods and practical use.vol.1.Berlin, Heidelberg, New York: Springer-Verlag, 1992
19. Jensen, K.: Coloured Petri nets, basic concepts, analysis methods and practical use.vol.2.Berlin, Heidelberg, New York: Springer-Verlag, 1992
20. Rojas, I.C.: Compositional construction and analysis of Petri net systems. PhD thesis, University of Edinburgh, 1997
21. Teruel, E., Franceschinis, G., De Pierro M.: Clarifying the priority specification of gspn: detached priorities. In: Proc.8th Intern.Workshop on Petri Nets and Performance Models, pp. 114-123, Zaragoza, Spain, September 1999.
22. UltraSAN.: http://www.crhc.uiuc.edu/UltraSAN
23. Varpaaniemi, K., Halme, J., Hiekkanen, K., Pyssysalo, T.: PROD reference manual.Technical Report Series B, number 13, Helsinki University of Technology, August 1995