Stochastic Activity Networks: Formal Definitions and Concepts

No abstract is available for this paper.

• Publication year

  2002

• Venue

  European Educational Forum

• Publication date

  2002-01-17

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/3-540-44667-2_9
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Les réseaux de Petri stochastiques

  2001cited by this paper
• Möbius: An Extensible Tool for Performance and Dependability Modeling

  2000cited by this paper
• An efficient well-specified check

  1999cited by this paper
• Integrated frameworks for multi-level and multi-formalism modeling

  1999cited by this paper
• Elementary Net Systems

  1996cited by this paper
• Well-defined stochastic Petri nets

  1996cited by this paper
• Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures

  1995cited by this paper
• The UltraSAN Modeling Environment

  1995cited by this paper
• A Unified Approach for Specifying Measures of Performance, Dependability and Performability

  1991cited by this paper
• Switching and Finite Automata Theory: Computer Science Series

  1990cited by this paper
• Reduced base model construction methods for stochastic activity networks

  1989cited by this paper
• Construction and solution of performability models based on stochastic activity networks

  1988cited by this paper
• METASAN: A Performability Evaluation Tool Based on Stochastic Acitivity Networks

  1986cited by this paper
• Stochastic Activity Networks: Structure, Behavior, and Application

  1985cited by this paper
• Performability modeling with stochastic activity networks

  1985influential reference
• Performance Analysis Using Stochastic Petri Nets

  1982cited by this paper
• Petri Net Theory and the Modeling of Systems

  1982cited by this paper
• On Evaluating the Performability of Degradable Computing Systems

  1980cited by this paper
• Introduction to Automata Theory, Languages and Computation

  1979cited by this paper
• Discrete Mathematical Structures with Applications to Computer Science

  1975cited by this paper

• Joint Security and Dependability Modeling: An Updated Overview

  2025cites this paper
• FaultFlow: An MDE Library for Dependability Evaluation of Component-Based Systems

  2025cites this paper
• A Review on Integration of Ultrasonic Vibration in Machining of Difficult-to-Cut Materials

  2025cites this paper
• Stochastic Modeling of Road Hazards on Intersections and their Effect on Safety of Autonomous Vehicles

  2025cites this paper
• Quantitative Comparison of System Architectures for an SAE Level 4 Highway Pilot

  2025cites this paper
• Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review

  2025cites this paper
• A Compositional Approach to Coordinated Software Rejuvenation of Component-Based Systems

  2024cites this paper
• A surrogate deterioration model of debris retention systems towards cost-effective maintenance strategies and increased protection efficacy

  2024cites this paper
• On Tuning Raft for IoT Workload in Apache IoTDB

  2024cites this paper
• Analysis of safe and effective next-generation rail signalling systems

  2024cites this paper
• Modeling Protection Systems in Smart Active Distribution Grids for a Performance Analysis

  2024cites this paper
• Maintenance Operations on Cloud, Edge, and IoT Environments: Taxonomy, Survey, and Research Challenges

  2024cites this paper
• Non-Blocking Raft for High Throughput IoT Data

  2023cites this paper
• Dependability Modelling of Safety Applications in Communicating Automotive Systems

  2023cites this paper
• Dependability Analysis of a System Using State-Space Modeling Techniques: A Systematic Review

  2023cites this paper
• Modeling Moving Target Defense strategies and attacks with SAN and ADVISE

  2023cites this paper
• Modeling of GPGPU architectures for performance analysis of CUDA programs

  2023cites this paper
• Modeling and evaluation of dispatching policies in IaaS cloud data centers using SANs

  2022cites this paper
• Security issues in IoT applications using certificateless aggregate signcryption schemes: An overview

  2022cites this paper
• Modelling Safety of Connected and Autonomous Vehicles (CAVs) under Cyber-Attacks on Perception and Safety Monitors

  2022cites this paper
• High-level Modeling and Verification Platform for Elastic Circuits with Process Variation Considerations

  2022cites this paper
• The ORIS tool

  2022cites this paper
• Needs and Challenges Concerning Cyber-risk Assessment in the Cyber-physical Smart Grid

  2022cites this paper
• Delay and Loss Rate Analysis of the Log Commitment Process in Raft

  2022cites this paper
• Deterioration modeling and maintenance assessment using physics-informed stochastic Petri nets: Application to torrent protection structures

  2021cites this paper
• Towards Accurate Estimation of Error Sensitivity in Computer Systems

  2021cites this paper
• A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning

  2021cites this paper
• Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks

  2021cites this paper
• Enhancing sustainability of the railway infrastructure: Trading energy saving and unavailability through efficient switch heating policies

  2021cites this paper
• An Efficient Library for Reliability Block Diagram Evaluation

  2021cites this paper
• Extending the Möbius Modeling Environment with the Advanced Replication Operator

  2021influential citation
• Model-based evaluation of the power versus performance of network routing algorithms

  2021cites this paper
• On the Resilience of the NFV-MANO: An Availability Model of a Cloud-native Architecture

  2020cites this paper
• A Formal Definition of Stochastic Activity Networks Templates

  2020influential citation
• Stochastic Activity Networks Templates: Supporting Variability in Performability Models

  2020cites this paper
• Explicit Modelling and Treatment of Repair in Prediction of Dependability

  2020influential citation
• Blockchain and Internet of Things: An Overview

  2020cites this paper
• Effect of Communication Failures on State Estimation of 5G-Enabled Smart Grid

  2020cites this paper
• Shared P-Type Logic Petri Net Composition and Property Analysis: A Vector Computational Method

  2020cites this paper
• A Model-Based Safety-Security Risk Analysis Framework for Interconnected Critical Infrastructures

  2020cites this paper
• A Template-Based Methodology for the Specification and Automated Composition of Performability Models

  2020cites this paper
• Modeling interconnected ICT and power systems for resilience analysis

  2020influential citation
• Failure management strategies for IoT-based railways systems

  2020cites this paper
• An Eclipse-Based Editor for SAN Templates

  2020cites this paper
• Web & Android Authentication Model using User Verification Techniques

  2020cites this paper
• A survey of methods supporting cyber situational awareness in the context of smart cities

  2020cites this paper
• Trading dependability and energy consumption in critical infrastructures: focus on the rail switch heating system

  2020cites this paper
• Critical Infrastructure Protection XIV: 14th IFIP WG 11.10 International Conference, ICCIP 2020, Arlington, VA, USA, March 16–17, 2020, Revised Selected Papers

  2020influential citation
• Compositional Model Checking and Model Repair for a Class of Product Form Models

  2020cites this paper
• Dependable Computing - EDCC 2020 Workshops: AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings

  2020cites this paper
• FPGA-Based Stochastic Activity Networks for Online Reliability Monitoring

  2020cites this paper
• Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

  2019cites this paper
• A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector

  2019cites this paper
• Towards Dependability and Energy Aware Asset Management Framework for Maintenance Planning in Smart Grids

  2019cites this paper
• Analytical composite performance models for Big Data applications

  2019cites this paper
• Practices in Model Component Reuse for Efficient Dependability Analysis

  2019cites this paper
• Performability Analysis of a Tramway System with Virtual Tags and Local Positioning

  2019influential citation
• A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications

  2019cites this paper
• Improved A* Multi-AGV Path Planning Algorithm Based on Grid-Shaped Network

  2019cites this paper
• A Method for Performability Study on Wide Area Communication Architectures for Smart Grid

  2019cites this paper
• Dependability of Smart Distribution Grid Protection Using 5G

  2019cites this paper
• The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results

  2019cites this paper
• Logic Petri Net Synthesis for Cooperative Systems

  2019cites this paper
• Network-Aware Availability Modeling of an End-to-End NFV-Enabled Service

  2019cites this paper
• The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems

  2019cites this paper
• Information Inconsistencies in Smart Distribution Grids under Different Failure Causes modelled by Stochastic Activity Networks

  2019influential citation
• Stochastic modeling and analysis of vapor cloud explosions domino effects in chemical plants

  2019influential citation
• FPGA-Based Degradation and Reliability Monitor for Underground Cables

  2019cites this paper
• THE I&AB QUANTIFICATION METHOD FOR LARGE DYNAMIC SYSTEMS IN PRACTICE: TWO USE CASES

  2018cites this paper
• WAAM Web & Android Authentication Model using Improvised User Identification and Verification Technique using Biometric and Digital Certificate

  2018cites this paper
• Dispatching and Rescheduling Tasks and Their Interactions with Travel Demand and the Energy Domain: Models and Algorithms

  2018cites this paper
• On Quantitative Assessment of Reliability and Energy Consumption Indicators in Railway Systems

  2018cites this paper
• Energy-efficient data centres: model-based analysis of power-performance trade-offs

  2018cites this paper
• Stochastic Activity Networks Templates

  2018cites this paper
• Modeling and Evaluation of Power-Aware Software Rejuvenation in Cloud Systems

  2018cites this paper
• Temperature-aware dynamic voltage and frequency scaling enabled MPSoC modeling using Stochastic Activity Networks

  2018cites this paper
• Cascading Impact Assessment in a Critical Infrastructure System

  2018cites this paper
• Evaluation of the impacts of failures and resource heterogeneity on the power consumption and performance of IaaS clouds

  2018influential citation
• Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator

  2018cites this paper
• A modeling approach for dependability analysis of smart distribution grids

  2018cites this paper
• Power-aware performance analysis of self-adaptive resource management in IaaS clouds

  2018cites this paper
• Enhanced Dependability Evaluation Through Krylov Methods and Matrix Functions: The Case of Load-Sharing Systems

  2018cites this paper
• Performance Evaluation of Discrete Event Systems with GPenSIM

  2018cites this paper
• A Model-Based Evaluation Methodology for Smart Energy Systems

  2018cites this paper
• Response Time and Availability Study of RAFT Consensus in Distributed SDN Control Plane

  2018cites this paper
• Quantitative Analysis of Multi-Recovery-Based Intrusion Tolerance Model

  2018cites this paper
• A Generalisation of the Well-Specified Check

  2018cites this paper
• Performance aware scheduling considering resource availability in grid computing

  2017cites this paper
• A blockchain future for internet of things security: a position paper

  2017cites this paper
• Continuous Biometric Verification for Non-Repudiation of Remote Services

  2017cites this paper
• Accounting for the Human User in Predictive Security Models

  2017cites this paper
• Model-Based Evaluation of Energy Saving Systems

  2017cites this paper
• Scheduling of Crude Oil Operations in Refinery without Sufficient Charging Tanks Using Petri Nets

  2017cites this paper
• On Cost‐effective Reuse of Components in the Design of Complex Reconfigurable Systems

  2017cites this paper
• Modelling the dependability in Network Function Virtualisation

  2017influential citation
• Statistical model checking of an energy-saving cyber-physical system in the railway domain

  2017cites this paper
• Resource-Driven Modelling for Managing Model Fidelity

  2017cites this paper
• Consideraciones de seguridad y confiabilidad para la implementación de redes de sensores inalámbricos en el contexto de la atención y hospitalización domiciliaria

  2017cites this paper
• PowerAlert: An Integrity Checker using Power Measurement

  2017cites this paper
• Improved Dynamic Dependability Assessment Through Integration With Prognostics

  2017influential citation