Implementing compositionality for stochastic Petri nets

被引：13
作者：
Bernardi S. [1 ]
Donatelli S. [1 ]
Horváth A. [1 ]
机构：
[1] Dipartimento di Informatica, Università di Torino, Torino
来源：
International Journal on Software Tools for Technology Transfer | 2001年 / 3卷 / 04期
关键词：
Composi-tionality; Fault tolerance; Formed nets; Modularity; Performance analysis; Stochastic well;
D O I：
10.1007/s100090100065
中图分类号：
学科分类号：
摘要：
An implementation of compositionality for stochastic well-formed nets (SWN) and, consequently, for generalized stochastic Petri nets (GSPN) has been recently included in the GreatSPN tool. Given two SWNs and a labelling function for places and transitions, it is possible to produce a third one as a superposition of places and transitions of equal label. Colour domains and arc functions of SWNs have to be treated appropriately. The main motivation for this extension was the need to evaluate a library of fault-tolerant "mechanisms" that have been recently defined, and are now under implementation, in a European project called TIRAN. The goal of the TIRAN project is to devise a portable software solution to the problem of fault tolerance in embedded systems, while the goal of the evaluation is to provide evidence of the efficacy of the proposed solution. Modularity being a natural "must" for the project, we have tried to reflect it in our modelling effort. In this paper, we discuss the implementation of compositionality in the GreatSPN tool, and we show its use for the modelling of one of the TIRAN mechanisms, the so-called local voter. © Springer-Verlag 2001.
引用
收藏
页码：417 / 430
页数：13
相关论文
共 19 条
  • [1] Ballarini P., Donatelli S., Franceschinis G., Parametric stochastic well-formed nets and compositional modelling, Proc.of the 21st International Conference In Application and Theory of Petri Nets, pp. 43-62, (2000)
  • [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, Proc.of the 16th International Conference On Application and Theory of Petri Nets, pp. 84-102, (1995)
  • [3] Best E., Devillers R., Hall J., The Petri box calculus: A new causal algebra with multilabel communication, Advances In Petri Nets, pp. 21-69, (1992)
  • [4] Best E., Fleischack H., Fraczak W., Hopkins R., Klaudel H., Pelz E., A class of composable high level Petri nets with an application to the semantics of B(PN)<sup>2</sup>, Proc. of the 16th International Conference On Application and Theory of Petri Nets, pp. 103-120, (1995)
  • [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, Proc.8th Euromicro Workshop On Parallel and Distributed Processing (PDP2000), (2000)
  • [6] Buchholz P., A hierarchical view of GCSPN and its impact on qualitative and quantitative analysis, J Parallel Distrib Com-put, 15, pp. 207-224, (1992)
  • [7] Chiola G., Dutheillet C., Franceschinis G., Haddad S., On well-formed coloured nets and their symbolic reachability graph, Proc.11th Intern.Conference On Application and Theory of Petri Nets, pp. 387-411, (1990)
  • [8] Chiola G., Dutheillet C., Franceschinis G., Haddad S., A Symbolic Reachability Graph for Coloured Petri Net, Theoret Comput Sci B, 176, 1-2, pp. 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, pp. 47-68, (1995)
  • [10] Christensen S., Petrucci L., Modular state space analysis of coloured Petri nets, Proc.of the 16th International Conference On Application and Theory of Petri Nets, pp. 201-207, (1995)
12