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
Performance modeling of e-procurement workflow using Generalised Stochastic Petri net (GSPN) [PDF]
, 2002 This paper proposes a Generalised Stochastic Petri net (GSPN) model representing a generic e-procurement workflow process. The model displays the dynamic behaviour of the system and shows the inter relationship of process activities. An analysis based on
Rahela Rahim +2 more
openalex +2 more sources
Structural characterization of decomposition in rate-insensitive stochastic Petri nets [PDF]
, 2012 This paper focuses on stochastic Petri nets that have an equilibrium distribution that is a product form over the number of tokens at the places. We formulate a decomposition result for the class of nets that have a product form solution irrespective of ...
Boucherie, Richard J. +3 more
core +13 more sources
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
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models
Applications and Theory of Petri Nets, 2016 Stochastic Petri nets are widely used for the modeling and analysis of non-functional properties of critical systems. The state space explosion problem often inhibits the numerical analysis of such models.
Kristóf Marussy +5 more
openalex +2 more sources
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
Vulnerability Analysis of LTE-R Train-to-Ground Communication Time Synchronization
Applied Sciences, 2022 The time synchronization of LTE-R train-to-ground communication systems plays an important role in ensuring the safety of high-speed railways. In the LTE-R time synchronization process, existing problems, such as the time synchronization message ...
Yong Chen, Zhixian Zhan, Kaiyu Niu
doaj +1 more source
Analysis of a multimachine flexible manufacturing cell using stochastic Petri nets
Advances in Mechanical Engineering, 2016 In this article, a generalized stochastic Petri net model is developed to analyze the performance of a multimachine flexible manufacturing cell. The analyzed flexible manufacturing cell consists of one or more machine(s), a single conveyor, and a single ...
Abdulrahman Al-Ahmari, Zhiwu Li
doaj +1 more source
Applied Sciences, 2021 The high reliability of modern engineering systems is achieved by performing predictive maintenance. Mathematical models based on stochastic timed colored Petri nets are an effective tool for developing complex production processes for Industry 4.0. This
Sergey P. Orlov +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