Description framework for proxel-based simulation of a general class of stochastic models

Sanja Lazarova-Molnar*, Graham Horton

*Kontaktforfatter for dette arbejde

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Resumé

The motivation for this paper is to raise the recently introduced proxel-based simulation method to a higher level by defining its own model description framework, which at the same time would allow us to enhance the description and analysis of discrete stochastic models beyond the potential of stochastic Petri nets. The Proxel-based method is designed for transient analysis of discrete stochastic models, which are commonly described using stochastic Petri nets (SPNs). The approach is based on the method of supplementary variables, meaning it performs the analysis in a deterministic manner. It, however, works in a purely algorithmic style, without employing partial differential equations. Experiments and applications have so far shown the method to be promising, especially in analysing classes of models which are known to be difficult or problematic to be deterministically analysed using standard methods (such as Markov chains and partial differential equations). Infinite state space models, such as queuing systems with unbounded queues (with generally distributed arrivals and processing times) where servers can fail, and the number of failures and servers' age determine the parameters of the distribution function of the processing time, is one of those problematic cases. As mentioned, up to now, a starting point for the proxel-based analysis was the Petri net model of the system to be simulated. The models, however, had to be adapted, using hard coding, to transform them into an appropriate input for the proxel-based simulator, mainly for efficiency reasons, but also for allowing properties that were not supported by SPNs. The transformation was implicitly the model description approach that we present and formalise in this paper. We believe that the modelling framework that we describe here will be able to exploit all or most of the beneficial properties of the proxel-based method and describe the model in a way that is directly analysable by the proxel-based simulator. The framework is based upon Petri net features and modifies and extends them according to the properties and needs of the proxel-based method. Our approach is supported and demonstrated by experiments and characteristic examples, as well as comparison to the formalism of SPNs.

OriginalsprogEngelsk
TitelSummer Computer Simulation Conference 2005, SCSC 2005, Part of the 2005 Summer Simulation Multiconference, SummerSim 2005
Antal sider8
Publikationsdato1. dec. 2005
Sider221-228
ISBN (Trykt)9781622763511
StatusUdgivet - 1. dec. 2005
BegivenhedSummer Computer Simulation Conference 2005, SCSC 2005, Part of the 2005 Summer Simulation Multiconference, SummerSim 2005 - Cherry Hill, NJ, USA
Varighed: 24. jul. 200528. jul. 2005

Konference

KonferenceSummer Computer Simulation Conference 2005, SCSC 2005, Part of the 2005 Summer Simulation Multiconference, SummerSim 2005
LandUSA
ByCherry Hill, NJ
Periode24/07/200528/07/2005

Fingeraftryk

Stochastic models
Petri nets
Partial differential equations
Servers
Simulators
Processing
Transient analysis
Markov processes
Distribution functions
Experiments

Citer dette

Lazarova-Molnar, S., & Horton, G. (2005). Description framework for proxel-based simulation of a general class of stochastic models. I Summer Computer Simulation Conference 2005, SCSC 2005, Part of the 2005 Summer Simulation Multiconference, SummerSim 2005 (s. 221-228)
Lazarova-Molnar, Sanja ; Horton, Graham. / Description framework for proxel-based simulation of a general class of stochastic models. Summer Computer Simulation Conference 2005, SCSC 2005, Part of the 2005 Summer Simulation Multiconference, SummerSim 2005. 2005. s. 221-228
@inproceedings{ed177bf6d83348da839b6064d901cdf1,
title = "Description framework for proxel-based simulation of a general class of stochastic models",
abstract = "The motivation for this paper is to raise the recently introduced proxel-based simulation method to a higher level by defining its own model description framework, which at the same time would allow us to enhance the description and analysis of discrete stochastic models beyond the potential of stochastic Petri nets. The Proxel-based method is designed for transient analysis of discrete stochastic models, which are commonly described using stochastic Petri nets (SPNs). The approach is based on the method of supplementary variables, meaning it performs the analysis in a deterministic manner. It, however, works in a purely algorithmic style, without employing partial differential equations. Experiments and applications have so far shown the method to be promising, especially in analysing classes of models which are known to be difficult or problematic to be deterministically analysed using standard methods (such as Markov chains and partial differential equations). Infinite state space models, such as queuing systems with unbounded queues (with generally distributed arrivals and processing times) where servers can fail, and the number of failures and servers' age determine the parameters of the distribution function of the processing time, is one of those problematic cases. As mentioned, up to now, a starting point for the proxel-based analysis was the Petri net model of the system to be simulated. The models, however, had to be adapted, using hard coding, to transform them into an appropriate input for the proxel-based simulator, mainly for efficiency reasons, but also for allowing properties that were not supported by SPNs. The transformation was implicitly the model description approach that we present and formalise in this paper. We believe that the modelling framework that we describe here will be able to exploit all or most of the beneficial properties of the proxel-based method and describe the model in a way that is directly analysable by the proxel-based simulator. The framework is based upon Petri net features and modifies and extends them according to the properties and needs of the proxel-based method. Our approach is supported and demonstrated by experiments and characteristic examples, as well as comparison to the formalism of SPNs.",
keywords = "Framework, Petri nets, Proxel-based method, Supplementary variables",
author = "Sanja Lazarova-Molnar and Graham Horton",
year = "2005",
month = "12",
day = "1",
language = "English",
isbn = "9781622763511",
pages = "221--228",
booktitle = "Summer Computer Simulation Conference 2005, SCSC 2005, Part of the 2005 Summer Simulation Multiconference, SummerSim 2005",

}

Lazarova-Molnar, S & Horton, G 2005, Description framework for proxel-based simulation of a general class of stochastic models. i Summer Computer Simulation Conference 2005, SCSC 2005, Part of the 2005 Summer Simulation Multiconference, SummerSim 2005. s. 221-228, Summer Computer Simulation Conference 2005, SCSC 2005, Part of the 2005 Summer Simulation Multiconference, SummerSim 2005, Cherry Hill, NJ, USA, 24/07/2005.

Description framework for proxel-based simulation of a general class of stochastic models. / Lazarova-Molnar, Sanja; Horton, Graham.

Summer Computer Simulation Conference 2005, SCSC 2005, Part of the 2005 Summer Simulation Multiconference, SummerSim 2005. 2005. s. 221-228.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

TY - GEN

T1 - Description framework for proxel-based simulation of a general class of stochastic models

AU - Lazarova-Molnar, Sanja

AU - Horton, Graham

PY - 2005/12/1

Y1 - 2005/12/1

N2 - The motivation for this paper is to raise the recently introduced proxel-based simulation method to a higher level by defining its own model description framework, which at the same time would allow us to enhance the description and analysis of discrete stochastic models beyond the potential of stochastic Petri nets. The Proxel-based method is designed for transient analysis of discrete stochastic models, which are commonly described using stochastic Petri nets (SPNs). The approach is based on the method of supplementary variables, meaning it performs the analysis in a deterministic manner. It, however, works in a purely algorithmic style, without employing partial differential equations. Experiments and applications have so far shown the method to be promising, especially in analysing classes of models which are known to be difficult or problematic to be deterministically analysed using standard methods (such as Markov chains and partial differential equations). Infinite state space models, such as queuing systems with unbounded queues (with generally distributed arrivals and processing times) where servers can fail, and the number of failures and servers' age determine the parameters of the distribution function of the processing time, is one of those problematic cases. As mentioned, up to now, a starting point for the proxel-based analysis was the Petri net model of the system to be simulated. The models, however, had to be adapted, using hard coding, to transform them into an appropriate input for the proxel-based simulator, mainly for efficiency reasons, but also for allowing properties that were not supported by SPNs. The transformation was implicitly the model description approach that we present and formalise in this paper. We believe that the modelling framework that we describe here will be able to exploit all or most of the beneficial properties of the proxel-based method and describe the model in a way that is directly analysable by the proxel-based simulator. The framework is based upon Petri net features and modifies and extends them according to the properties and needs of the proxel-based method. Our approach is supported and demonstrated by experiments and characteristic examples, as well as comparison to the formalism of SPNs.

AB - The motivation for this paper is to raise the recently introduced proxel-based simulation method to a higher level by defining its own model description framework, which at the same time would allow us to enhance the description and analysis of discrete stochastic models beyond the potential of stochastic Petri nets. The Proxel-based method is designed for transient analysis of discrete stochastic models, which are commonly described using stochastic Petri nets (SPNs). The approach is based on the method of supplementary variables, meaning it performs the analysis in a deterministic manner. It, however, works in a purely algorithmic style, without employing partial differential equations. Experiments and applications have so far shown the method to be promising, especially in analysing classes of models which are known to be difficult or problematic to be deterministically analysed using standard methods (such as Markov chains and partial differential equations). Infinite state space models, such as queuing systems with unbounded queues (with generally distributed arrivals and processing times) where servers can fail, and the number of failures and servers' age determine the parameters of the distribution function of the processing time, is one of those problematic cases. As mentioned, up to now, a starting point for the proxel-based analysis was the Petri net model of the system to be simulated. The models, however, had to be adapted, using hard coding, to transform them into an appropriate input for the proxel-based simulator, mainly for efficiency reasons, but also for allowing properties that were not supported by SPNs. The transformation was implicitly the model description approach that we present and formalise in this paper. We believe that the modelling framework that we describe here will be able to exploit all or most of the beneficial properties of the proxel-based method and describe the model in a way that is directly analysable by the proxel-based simulator. The framework is based upon Petri net features and modifies and extends them according to the properties and needs of the proxel-based method. Our approach is supported and demonstrated by experiments and characteristic examples, as well as comparison to the formalism of SPNs.

KW - Framework

KW - Petri nets

KW - Proxel-based method

KW - Supplementary variables

UR - http://www.scopus.com/inward/record.url?scp=84871809764&partnerID=8YFLogxK

M3 - Article in proceedings

AN - SCOPUS:84871809764

SN - 9781622763511

SP - 221

EP - 228

BT - Summer Computer Simulation Conference 2005, SCSC 2005, Part of the 2005 Summer Simulation Multiconference, SummerSim 2005

ER -

Lazarova-Molnar S, Horton G. Description framework for proxel-based simulation of a general class of stochastic models. I Summer Computer Simulation Conference 2005, SCSC 2005, Part of the 2005 Summer Simulation Multiconference, SummerSim 2005. 2005. s. 221-228