A very high level of availab ility is crucial to the economic operation of modern power plants, in view of the huge expenditure associated with their failures. Th is paper deals with the availab ility analysis of a Lube oil system used in a combined cycle power plant. The system is modeled as a Generalized Stochastic Petri Net (GSPN) taking into consideration of partial failures of their subsys...

Client–server processing is a popular paradigm for distributed computing. In the development of client–server programs, the designer has first to ensure that the implementation behaves correctly, in particular that it is deadlock free. Second, he has to guarantee that the program meets predefined performance requirements. This paper addresses the issues in the analysis of client–server programs...

As a new collaborative mining technology, the integration of mining-separating-backfilling (IMSB) enables coal industry to realize safe, efficient, and green resources at expense making underground mine production more complex. In mining, primary problem is eliminate logistics system bottleneck increase output. The key synergetic that capacity fully mechanized face should match raw separating g...

In this paper, we aim to explore the operational performance of a green closed-loop supply chain under random events. A model based on generalized stochastic Petri nets (GSPN) is built using theory. According isomorphic relationship between GSPN and continuous-time Markov chains, relevant converted from GSPN, steady-state probability then calculated. Finally, analyzed aspects time operation eff...

It is well known that errors caught in the early stages of system development life cycle greatly helped reduce the expense for later error fixing andmitigate risks and complications. Performance analysis is one of the methods to ensure satisfactory system performance that can avoid redesign and patch in the later stage of system development when performance problems emerge. Much work has been d...

A common approach for the quantitative analysis of a generalized stochastic Petri net GSPN is to gener ate its entire state space and then solve the correspond ing continuous time Markov chain CTMC numeri cally This analysis often su ers from two major prob lems the state space explosion and the sti ness of the CTMC In this paper we present parallel algorithms for shared memory machines that at...

It is well known that errors caught in the early stages of system development life cycle greatly helped reduce the expense for later error fixing and mitigate risks and complications. Performance analysis is one of the methods to ensure satisfactory system performance that can avoid redesign and patch in the later stage of system development when performance problems emerge. PSIM is a Performan...

A continuous-time, discrete-event (CTDE) simulation can be based on any one of a number of stochastic processes, including Generalized Semi-Markov Processes (GSMP) [Glynn 1989], Generalized Stochastic Petri Nets (GSPN) [Haas 2002], or chemical stochastic processes [Gillespie 2007] These processes vary in how they define state and how they specify the distribution of times at which each event wi...

Generalized Stochastic Petri Nets (GSPNs) are powerful mechanisms to model systems that exhibit instances of parallelism, synchronization, blocking, and simultaneous resource possession. For large systems, however, the solution of GSPNs is computationally very expensive due to the combinatorial growth of the state space. Queuing networks (QNs) provide very efficient solutions for the cases were...

Computer based systems, which are devoted to control critical functions, may incur in safety and dependability problems. In the safety area a new standard is currently emerging, IEC 61508, which is intended to provide a unified framework which may deserve as guideline for the analysis of safety related systems. The present paper deals with the safety and dependability analysis of a Programmable...