TY - GEN
T1 - Parametric stochastic well-formed nets and compositional modelling
AU - Ballarini, Paolo
AU - Donatelli, Susanna
AU - Franceschinis, Giuliana
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2000.
PY - 2000
Y1 - 2000
N2 - Colored nets have been recognized as a powerful modelling paradigm for the validation and evaluation of systems, both in terms of compact representation and aggregate state space generation. In this paper we discuss the issue of adding compositionality to a class of stochastic colored nets named Stochastic Well-formed Nets, in order to increase modularity and reuse of the modelling efforts. This requires the notion of Parametric Stochastic Well-formed net: nets in which a certain amount of information is left unspecified, and is instantiated only upon model composition. The choice of the compositional rule has been based on previous work on layered models for integrated hardware and software systems (the processes, services and resources methodology), and an example of layered modelling with Parametric Stochastic Well-formed net is presented to show the efficacy of the proposed formalism.
AB - Colored nets have been recognized as a powerful modelling paradigm for the validation and evaluation of systems, both in terms of compact representation and aggregate state space generation. In this paper we discuss the issue of adding compositionality to a class of stochastic colored nets named Stochastic Well-formed Nets, in order to increase modularity and reuse of the modelling efforts. This requires the notion of Parametric Stochastic Well-formed net: nets in which a certain amount of information is left unspecified, and is instantiated only upon model composition. The choice of the compositional rule has been based on previous work on layered models for integrated hardware and software systems (the processes, services and resources methodology), and an example of layered modelling with Parametric Stochastic Well-formed net is presented to show the efficacy of the proposed formalism.
UR - http://www.scopus.com/inward/record.url?scp=84947232259&partnerID=8YFLogxK
U2 - 10.1007/3-540-44988-4_5
DO - 10.1007/3-540-44988-4_5
M3 - Conference contribution
AN - SCOPUS:84947232259
SN - 3540676937
SN - 9783540676935
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 43
EP - 62
BT - Application and Theory of Petri Nets 2000 - 21st International Conference, ICATPN 2000, Proceedings
A2 - Nielsen, Mogens
A2 - Simpson, Dan
PB - Springer Verlag
T2 - 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000
Y2 - 26 June 2000 through 30 June 2000
ER -