Results 21 to 30 of about 20,113 (245)
An Advanced Environment for Hybrid Modeling of Biological Systems Based on Modelica
Journal of Integrative Bioinformatics, 2011 Biological systems are often very complex so that an appropriate formalism is needed for modeling their behavior. Hybrid Petri Nets, consisting of time-discrete Petri Net elements as well as continuous ones, have proven to be ideal for this task ...
Proß Sabrina, Bachmann Bernhard
doaj +2 more sources
IEEE Access, 2020 Efficient business process is important to the operations of supply chain finance (SCF). Many deficiencies exist in the processes of SCF such as complicated workflows and high time-consuming steps. However, few studies have paid attention to evaluate and
Xuhong Ye +4 more
doaj +1 more source
HEALTHCARE CRITICAL INFRASTRUCTURE STOCHASTIC INTERDEPENDENCIES SIMULATION MODEL FOR SMART CITIES: FLOOD DISASTER SCENARIO [PDF]
ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2020 Healthcare Critical Infrastructure (HCI) is not an independent network; the operation of a healthcare facility depends on many other Critical Infrastructure (CI) networks such as electric supply CI, water supply CI, etc., forming an interdependent CI ...
N. Nukavarapu, S. Durbha
doaj +1 more source
Adequate Models for Multiprocessor Stochastic Systems [PDF]
مجلة التربية والعلم, 2012 In this paper, two models are presented for Multiprocessor Stochastic Systems (MSS). The first one is the Generalized Semi-Markov Process (GSMP), the second is the Generalized Stochastic Petri Net (GSPN).
Nadwa S. Younis
doaj +1 more source
Energy Consumption Model of Embedded Software Based on Stochastic Petri Net [PDF]
Jisuanji gongcheng, 2017 Traditional software energy consumption measurement mode is to measure actually after the software design is completed to gain energy consumption value,so it cannot provide references for development via definite data in software design periods.This ...
ZHANG Jing,WANG Zhongzheng,FAN Hongbo
doaj +1 more source
Cluster Grid based Response-time analysis module for the PIPE Tool. [PDF]
, 2007 Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an open source software project that allows creation, analysis and simulation ...
Argent-Katwala, A +2 more
core +2 more sources
Dynamic Reliability Model for Airborne Systems Based on Stochastic Petri Net
Xibei Gongye Daxue Xuebao, 2020 The reliability of the airborne systems have a significant influence on the safety of aircraft. The modern airborne systems have a high degree of automation and integration, which lead to obvious dynamic failure characteristics. Namely, system failure is
doaj +1 more source
Availability Analysis of Software Systems with Rejuvenation and Checkpointing
Mathematics, 2021 In software reliability engineering, software-rejuvenation and -checkpointing techniques are widely used for enhancing system reliability and strengthening data protection.
Junjun Zheng +2 more
doaj +1 more source
Using the probabilistic evaluation tool for the analytical solution of large Markov models [PDF]
, 1995 Stochastic Petri net-based Markov modeling is a potentially very powerful and generic approach for evaluating the performance and dependability of many different systems, such as computer systems, communication networks, manufacturing systems, etc.
Haverkort, Boudewijn R. +1 more
core +4 more sources
Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets [PDF]
, 2010 Two formal stochastic models are said to be bisimilar if their solutions as a stochastic process are probabilistically equivalent. Bisimilarity between two stochastic model formalisms means that the strengths of one stochastic model formalism can be used
Henk A.P. Blom +3 more
core +3 more sources