Study of the Normal Generalized Stochastic Petri nets and its Application in Testing System

Zhan, Huiqin; Gu, Juping

doi:10.1109/imtc.2006.328384

Cited by 6 publications

(5 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The present study employs a sophisticated form of Petri Nets, termed SPNs, which are distinguished by their ability to incorporate randomness and probabilistic behaviors [11]. SPNs are comprised of three primary elements that delineate the system's states or conditions: transitions (denoting potential system events or actions), tokens (symbolizing entities within the system), and each token's potential association with a specific resource [12].…”

Section: Stochastic Petri Netsmentioning

confidence: 99%

Urban Advanced Mobility Dependability: A Model-Based Quantification on Vehicular Ad Hoc Networks with Virtual Machine Migration

Silva,

Cardoso,

Brito

et al. 2023

Sensors

View full text Add to dashboard Cite

In the rapidly evolving urban advanced mobility (UAM) sphere, Vehicular Ad Hoc Networks (VANETs) are crucial for robust communication and operational efficiency in future urban environments. This paper quantifies VANETs to improve their reliability and availability, essential for integrating UAM into urban infrastructures. It proposes a novel Stochastic Petri Nets (SPN) method for evaluating VANET-based Vehicle Communication and Control (VCC) architectures, crucial given the dynamic demands of UAM. The SPN model, incorporating virtual machine (VM) migration and Edge Computing, addresses VANET integration challenges with Edge Computing. It uses stochastic elements to mirror VANET scenarios, enhancing network robustness and dependability, vital for the operational integrity of UAM. Case studies using this model offer insights into system availability and reliability, guiding VANET optimizations for UAM. The paper also applies a Design of Experiments (DoE) approach for a sensitivity analysis of SPN components, identifying key parameters affecting system availability. This is critical for refining the model for UAM efficiency. This research is significant for monitoring UAM systems in future cities, presenting a cost-effective framework over traditional methods and advancing VANET reliability and availability in urban mobility contexts.

show abstract

Section: Stochastic Petri Netsmentioning

confidence: 99%

Urban Advanced Mobility Dependability: A Model-Based Quantification on Vehicular Ad Hoc Networks with Virtual Machine Migration

Silva,

Cardoso,

Brito

et al. 2023

Sensors

View full text Add to dashboard Cite

show abstract

“…In the paper, it will be shown how the behavioural and structural characteristics of JIT production systems can be explored in order to implement effective evaluation algorithms that fit the requirements of this class of systems. These algorithms may be seen a straightforward alternative to other wellestablished solutions to the analysis of non-Markovian systems, as those presented in [14], [15] and [16], or to the techniques based in Monte Carlo simulation as the one reported in [17].…”

Section: The Proposed Approachmentioning

confidence: 99%

“…that the system has arrived to that state, that is: (16) and the probability of transition d i d b . Thus:…”

Section: Analytical Approachmentioning

confidence: 99%

Reliability Engineering of Large Jit Production Systems

Faria

Nunes

2012

Int. J. Rel. Qual. Saf. Eng.

View full text Add to dashboard Cite

Jose Faria holds a degree in electrical engineering from the Faculty of Engineering of the University of Porto, Portugal (1983) and a Ph.D. also from FEUP (1996). The Ph.D. focused on reliability modelling, analysis and evaluation of the integrated management information system of a large European car manufacturer. He is currently an Assistant Professor at FEUP and his research interests include reliability and quality analysis and business operation systems. Eusebio Nunes holds a degree in production engineering from the School of Engineering of the PhD from the Faculty of Engineering of the University of Porto, Portugal (2005). His PhD thesis addressed reliability evaluation of non-Markovian system with fuzzy parameters. His research interests include reliability analysis methods and quality management systems.Abstract: This paper introduces the rationale and the fundamental elements and algorithms of a reliability engineering methodology, and discusses its application to the design of a large, multi-cell and heterogeneous production system with just-in-time (JIT) deliveries. The failure analysis and the non-reliability costs assessment of such systems is a complex task. In order to cope with such complexity, a two level hierarchical modelling and evaluation framework was developed. According to this framework, the internal behaviour of each manufacturing cell and the overall flow of materials are described, respectively, by local and global models. Local models are firstly obtained from the failure and repair processes of the manufacturing equipment. Then, these models are combined with the failure propagation delays introduced by the work-in-process buffers in order to obtain the system level model. The second part of the paper addresses several design issues of the production system that directly impact the reliability of the deliveries, such as the layout of the plant, the redundancy of the manufacturing equipment and the capacity of the work-in-process buffers. A distinctive feature of the reliability evaluation algorithm resides on the ability to deal with reliability models containing stochastic processes with generalized distributions. This fundamental requirement comes from the fact that repair and failure propagation processes typically present hyper-exponential distributions, e.g., lognormal distributions, that can't be assessed using the conventional reliability techniques. The paper will also explain how the behavioural and structural characteristics of JIT production systems were explored in order to implement effective evaluation algorithms that fit the requirements of this class of systems.

show abstract

“…T t n ð Þdt n ::dt 2 dt 1 (6) If a process p stays active from state s k (that is, t 0 p = t k ) to state s m , its density function will take part in the expressions T(t j ) for k ≤ j ≤ m. Therefore, the contribution of p to P(c) will be:…”

Section: Failure States Frequencymentioning

confidence: 99%

“…In fact, existing methods often impose restrictive assumptions on the structure and behavior that limit their practical application to specific classes of systems. The approach presented here aims to further develop this topic, and it may be considered a straightforward alternative to other well‐established solutions used to analyze non‐Markovian systems, such as those presented in and, or those based on Monte Carlo simulation techniques, as reported in and.…”

Section: Introductionmentioning

confidence: 99%

On the Reliability Evaluation of Failure Delayed Industrial Systems

Faria

Azevedo

2012

Quality & Reliability Eng

View full text Add to dashboard Cite

This paper presents an analytical approach for the evaluation of multi‐user safety critical systems presenting a failure delayed behavior pattern. As a consequence of a failure event, the performance of these systems worsens progressively due to the internal fault tolerance mechanisms or the complacency of the users regarding the temporary unavailability of the services. A distinctive feature of the approach is the ability to handle stochastic models containing multiple processes with generalized distributions. The approach is based on the determination of analytical expressions to measure reliability, for instance, frequency and probability of failure states, which may be evaluated using general purpose mathematical tools. The paper first reviews other well‐established techniques employed in the assessment of non‐Markovian systems, particularly those based on stochastic Petri nets. The rationale of the new approach and its fundamental algorithms are presented together with a set of illustrative examples which highlight the strengths of the approach, as well as its limitations. Copyright © 2012 John Wiley & Sons, Ltd.

show abstract

Study of the Normal Generalized Stochastic Petri nets and its Application in Testing System

Cited by 6 publications

References 8 publications

Urban Advanced Mobility Dependability: A Model-Based Quantification on Vehicular Ad Hoc Networks with Virtual Machine Migration

Urban Advanced Mobility Dependability: A Model-Based Quantification on Vehicular Ad Hoc Networks with Virtual Machine Migration

Reliability Engineering of Large Jit Production Systems

On the Reliability Evaluation of Failure Delayed Industrial Systems

Contact Info

Product

Resources

About