Advances in Petri nets 1986, part I on Petri nets: central models and their properties
The UltraSAN modeling environment
Performance Evaluation - Special issue: performance modeling tools
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
METASAN: a performability evaluation tool based on stochastic activity networks
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Discrete Mathematical Structures with Applications to Computer Science
Discrete Mathematical Structures with Applications to Computer Science
Stochastic Activity Networks: Structure, Behavior, and Application
International Workshop on Timed Petri Nets
Well-defined stochastic Petri nets
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Integrated Frameworks for Multi-Level and Multi-Formalism Modeling
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
An Efficient Well-Specified Check
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
Performability modeling with stochastic activity networks
Performability modeling with stochastic activity networks
Construction and solution of performability models based on stochastic activity networks
Construction and solution of performability models based on stochastic activity networks
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Induction for positive almost sure termination
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Evaluation of Critical Infrastructures: Challenges and Viable Approaches
Architecting Dependable Systems V
Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Multi-perspective evaluation of self-healing systems using simple probabilistic models
ICAC '09 Proceedings of the 6th international conference on Autonomic computing
ISA '09 Proceedings of the 3rd International Conference and Workshops on Advances in Information Security and Assurance
PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Software rejuvenation in embedded systems
Journal of Automata, Languages and Combinatorics
Multiple abstraction levels in performance analysis of WSN monitoring systems
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Analytical Modeling for Operating System Schedulers on NUMA Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A set of performance and dependability analysis components for CADP
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
A majority voter for intrusion tolerant software based on N-version programming techniques
IIT'09 Proceedings of the 6th international conference on Innovations in information technology
Modeling QoS in P2P file-sharing with benign and malicious peers by stochastic activity networks
CCNC'10 Proceedings of the 7th IEEE conference on Consumer communications and networking conference
Stochastic modelling of the effects of interdependencies between critical infrastructure
CRITIS'09 Proceedings of the 4th international conference on Critical information infrastructures security
Dependability analysis and verification for CONNECTed systems
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Architecting and validating dependable systems: experiences and visions
Architecting dependable systems VII
Stochastic Petri net models of Ca2+ signaling complexes and their analysis
Natural Computing: an international journal
On enabling dependability assurance in heterogeneous networks through automated model-based analysis
SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems
Computer system survivability modelling by using stochastic activity network
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Expressiveness and efficient analysis of stochastic well-formed nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Proving positive almost sure termination under strategies
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Symbolic model checking of stochastic systems: theory and implementation
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Bisimulation and logical preservation for continuous-time markov decision processes
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Availability modelling of a virtual black box for automotive systems
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Model-based assessment of multi-region electric power systems showing heterogeneous characteristics
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Model-based evaluation of the availability of a CBTC system
SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
Proceedings of the 28th Annual ACM Symposium on Applied Computing
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Möbius shell: a command-line interface for möbius
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Automated rare event simulation for stochastic petri nets
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
A Formal Framework for Patch Management
International Journal of Interdisciplinary Telecommunications and Networking
GABES: A genetic algorithm based environment for SEU testing in SRAM-FPGAs
Journal of Systems Architecture: the EUROMICRO Journal
Stochastic assessment of power systems in presence of heterogeneity
International Journal of Critical Computer-Based Systems
Hi-index | 0.00 |
Stochastic activity networks have been used since the mid-1980s for performance, dependability, and performability evaluation. They have been used as a modeling formalism in three modeling tools (METASAN, UltraSAN, and Möbius), and have been used to evaluate a wide range of systems. This chapter provides the formal definitions and basic concepts associated with SANs, explaining their behavior and their execution policy precisely.