Learn More
Book description (from the cover): The first to cover the analysis and application of deterministic and stochastic Petri nets, this book provides comprehensive and fully up-to-date coverage of the fundamental techniques and algorithms. These Mgorithms are also immediately applicable for the analysis of other discrete-event stochastic systems with an(More)
—Differentiated Services (DiffServ) networks have received wide attention for several years. They categorize routers into edge routers and core routers. In core routers, one of the technological challenges is to implement differentiated bandwidth allocation and TCP protection with low complexity, where conventional per-flow queueing is costly. In this(More)
—In this paper, a new algorithm based on Binary Decision Diagram (BDD) for the analysis of a system with multistate components is proposed. Each state of a multistate component is represented by a Boolean variable, and a multistate system is represented by a series of multistate fault trees. A Boolean algebra with restrictions on variables is used to(More)
— We propose to use Markov regenerative process (MRGP) models to study the availability of Internet-based services perceived by a Web user, which capture the interactions between the service facility and the user. The necessity of the sophisticated MRGP modeling is evidenced by the comparisons with the corresponding continuous time Markov chain (CTMC)(More)
In this paper, a new algorithm based on Binary Decision Diagram (BDD) for dependability analysis of distributed computer systems (DCS) with imperfect coverage is proposed. Minimum le spanning trees (MFST) are generated and stored via BDD maniplution. By using the multistate concepts, the algorithms for BDD generation and evaluation that can deal with(More)
In this paper, we compare the availability and performance of a wireless TDMA system with and without automatic protection switching. Stochastic reward net models are constructed and solved by SPNP (Stochastic Petri Net Package). Hierarchical decomposition is adopted to simplify the analysis. The optimization of the number of guard channels reserved for the(More)