SPNP: Stochastic Petri Net Package
نویسندگان
چکیده
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdependent arc multiplicities, enabling functions, arrays of places or transitions, and subnets; in addition, the full expressive power of the C programming language is available to increase the flexibility of the net description. Sophisticated steady-state and transient solvers are available; cumulative and up-to-absorption measures can be computed. In addition, the user is not limited to a predefined set of measures: detailed expressions reflecting exactly the measures sought can be easily specified. We conclude comparing SPNP with two other SPN-based packages, GreatSPN and METASAN.
منابع مشابه
SPNP: Stochastic Petri Nets. Version 6.0
The Stochastic Petri Net Package (SPNP) [2] is a versatile modeling tool for solution of Stochastic Petri Net (SPN) models. The SPN models are described in the input language for SPNP called CSPL (C-based SPN Language) which is an extension of the C programming language [8] with additional constructs which facilitate easy description of SPN models. Moreover, if the user does not want to describ...
متن کامل2 What Is New In
We present the Stochastic Petri Net Package (SPNP), a versatile modeling tool for performance, dependability, and performability analysis of complex systems. Input models developed based on the theory of stochastic reward nets are solved by e cient and numerically stable algorithms. Steady-state, transient, cumulative transient, time-averaged, and \up-to-absorption" measures can be computed. Pa...
متن کاملStochastic Reward Nets for Reliability Prediction
We describe the use of stochastic Petri nets (SPNs) and stochastic reward nets (SRNs) which are SPNs augmented with the ability to specify output measures as reward-based functions, for the evaluation of reliability for complex systems. The solution of SRNs involves generation and analysis of the corresponding Markov reward model. The use of SRNs in modeling complex systems is illustrated throu...
متن کاملGSEE: A Grid-enabled Value-added Service Platform in NGN
GSEE a grid-enabled value-added service platform in Next Generation Network (NGN) is proposed to solve the performance problem with traditional service platform of NGN. The value-added services hosted by GSEE are wrapped into grid services. GSEE and other nodes with spare processing capability are organized into virtual organization (VO). A task scheduling algorithm is proposed to overcome the ...
متن کاملAvailability and Performance Evaluation for Automatic Protection Switching in TDMA Wireless System
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 handoff calls is studied. Numerical r...
متن کامل