Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
About the fluifidication of SPN by CPN for complex dynamical systems: Critical regions
Ist Teil von
2020 1st International Conference on Innovative Research in Applied Science, Engineering and Technology (IRASET), 2020, p.1-5
Ort / Verlag
IEEE
Erscheinungsjahr
2020
Link zum Volltext
Quelle
IEEE Xplore
Beschreibungen/Notizen
High availability constraints ensure a high level of operational performance that must be maintained during a contractual measurement period. Such constraints must be satisfied, particularly, for critical systems related to global security and human safety. High availability often results from material redundancies and lead to large stochastic discrete event models with numerous states. Markov processes and stochastic Petri nets can be used to model, simulate and analyze such systems but their use is limited by the so called "combinatorial explosion" problem. This paper investigates the fluidification of stochastic Petri nets to overcome the previous problem. The main contribution is to propose a modular modeling of active and passive redundancies with Petri nets. Some approaches are then proposed to obtain equivalent behaviors in the long time with stochastic and continuous Petri nets.