Lectures on formal methods and performance analysis
Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions
IEEE Transactions on Software Engineering
Discrete Time Stochastic Petri Nets for the Modeling and Evaluation of Real-Time Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Beyond Memoryless Distributions: Model Checking Semi-Markov Chains
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Advances in Model Representations
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Automated Performance and Dependability Evaluation Using Model Checking
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Iterative Analysis of Markov Regenerative Models
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Model Checking CSL until Formulae with Random Time Bounds
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Categorical foundations for randomly timed automata
Theoretical Computer Science
Modeling and simulation of ATM systems and networks
Applied system simulation
The scale factor: a new degree of freedom in phase-type approximation
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Towards modeling and evaluation of ETCS real-time communication and operation
Journal of Systems and Software - Special issue: Parallel and distributed real-time systems
Impacts of data call characteristics on multi-service CDMA system capacity
Performance Evaluation - Performance 2005
Using UML state machines and petri nets for the quantitative investigation of ETCS
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Consecutive customer loss probabilities in M/G/1/n and GI/M(m)//n systems
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Predicting uncertain behavior of industrial system using FM-A practical case
Applied Soft Computing
A toolkit for performability evaluation based on stochastic UML state machines
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Symbolic Computation of Petri Nets
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Performance implications of fluctuating server capacity
Computer Communications
Analysis of GI/M/s/c queues using uniformisation
Computers & Mathematics with Applications
Model checking expected time and expected reward formulae with random time bounds
Computers & Mathematics with Applications
Stochastic fault trees for cross-layer power management of WSN monitoring systems
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
On the use of Petri nets for the computation of completion time distribution for short TCP transfers
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Symbolic analysis for GSMP models with one stateful clock
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Fluid models in performance analysis
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Dependability evaluation of complex systems with TimeNET
Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems
Performability assessment by model checking of Markov reward models
Formal Methods in System Design
A comparative study of stochastic analysis techniques
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Performance and security tradeoff
SFM'10 Proceedings of the Formal methods for quantitative aspects of programming languages, and 10th international conference on School on formal methods for the design of computer, communication and software systems
Performance evaluation of test process based on stochastic models
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
A component-based solution method for non-ergodic Markov regenerative processes
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Algorithms for computing moments of the length of busy periods of single-server systems
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Bounded model checking for GSMP models of stochastic real-time systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Bio-PEPAd: A non-Markovian extension of Bio-PEPA
Theoretical Computer Science
Future Generation Computer Systems
A component-based solution for reducible Markov regenerative processes
Performance Evaluation
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
On-the-fly verification and optimization of DTA-properties for large Markov chains
Formal Methods in System Design
| Hi-index | 0.00 |
From the Publisher:Provides a clear and systematic introduction to the use of stochastic Petri nets in communications systems engineering and the analysis techniques and algorithms used in performance evaluation. The field of communication systems is full of complex design questions concerning performance and reliability. Since data traffic and errors occur in a random fashion, stochastic models are used for developing and comparing systems. In particular, stochastic Petri nets have become a popular tool for the description and automatic evaluation of such models. The use of non-Markovian models has become important as they allow more flexibility.This book * Provides a clear exposition of the use of stochastic Petri nets in communication systems engineering* Introduces the reader to the analysis techniques and algorithsm used in performance evaluation* Provides an accompanying example to clarify the use of each definition, concept and algorithm* Mathematica routines used for implementing the algorithms are available on the Wiley ftp siteThe text will appeal to researchers, industrial engineers, and graduate students studying communication systems and stochastic modeling. The numerous examples will benefit those working in performance evaluation, reliability, operations research, queueing theory and computer science.The Mathematica routines used for implementing the algorithms are available for downloading on the following Wiley ftp site: ftp://ftp.wiley.co.uk/pub/books/german