Parametric stochastic well-formed nets and compositional modelling

Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

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.

Lingua originaleInglese
Titolo della pubblicazione ospiteApplication and Theory of Petri Nets 2000 - 21st International Conference, ICATPN 2000, Proceedings
EditorMogens Nielsen, Dan Simpson
EditoreSpringer Verlag
Pagine43-62
Numero di pagine20
ISBN (stampa)3540676937, 9783540676935
DOI
Stato di pubblicazionePubblicato - 2000
Evento21st International Conference on Application and Theory of Petri Nets, ICATPN 2000 - Aarhus, Denmark
Durata: 26 giu 200030 giu 2000

Serie di pubblicazioni

NomeLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1825
ISSN (stampa)0302-9743
ISSN (elettronico)1611-3349

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???21st International Conference on Application and Theory of Petri Nets, ICATPN 2000
Paese/TerritorioDenmark
CittàAarhus
Periodo26/06/0030/06/00

Fingerprint

Entra nei temi di ricerca di 'Parametric stochastic well-formed nets and compositional modelling'. Insieme formano una fingerprint unica.

Cita questo