A characterization of the stochastic process underlying a stochastic Petri net

No abstract is available for this paper.

• Publication year

  1993

• Venue

  Proceedings of 5th International Workshop on Petri Nets and Performance Models

• Publication date

  1993-10-19

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/PNPM.1993.393453
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Markov Regenerative Stochastic Petri Nets

  1994influential reference
• Analysis of stochastic Petri nets with non-exponentially distributed firing times

  1994influential reference
• Analysis of Stochastic Petri Nets by the Method of Supplementary Variables

  1994influential reference
• Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets

  1993cited by this paper
• Linear algebra, Markov chains, and queueing models

  1993influential reference
• Analysis of deterministic and stochastic Petri nets

  1993cited by this paper
• Transient Analysis of Deterministic and Stochastic Petri Nets

  1993cited by this paper
• Modeling discrete event systems with state-dependent deterministic service times

  1993cited by this paper
• DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets

  1993cited by this paper
• Timed Petri nets definitions, properties, and applications

  1991cited by this paper
• Analysis of large stochastic petri net models

  1990cited by this paper
• Stochastic Petri Net Representation of Discrete Event Simulations

  1989cited by this paper
• The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets

  1989influential reference
• Regenerative Stochastic Petri Nets

  1986cited by this paper
• On Petri nets with deterministic and exponentially distributed firing times

  1986cited by this paper
• Discrete Time Stochastic Petri Nets

  1985influential reference
• A Generalized Timed Petri Net Model for Performance Analysis

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

  1985cited by this paper
• The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes

  1984cited by this paper
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

  1984cited by this paper
• Extended Stochastic Petri Nets: Applications and Analysis

  1984cited by this paper
• Performance Analysis Using Stochastic Petri Nets

  1982cited by this paper
• Continuity of Generalized Semi-Markov Processes

  1980cited by this paper
• Introduction to Stochastic Processes

  1976cited by this paper
• Science régionale - Walter Isard, Introduction to régional science. Englewood Cliffs (NJ), Prentice-Hall, 1975

  1975cited by this paper

• A Compositional Approach to Coordinated Software Rejuvenation of Component-Based Systems

  2024cites this paper
• Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation

  2024cites this paper
• Workflow Trace Profiling and Execution Time Analysis in Quantitative Verification

  2024cites this paper
• A Petri Nets-Based Simulation Methodology for Modular Modeling and Performance Evaluation of Car-Sharing Networks

  2023cites this paper
• FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net

  2023cites this paper
• A Stochastic Petri Net Model of Continuous Integration and Continuous Delivery

  2023cites this paper
• Steady state analysis of M/G/1 retrial queue with vacation and server timeout using a Petri net formalism

  2023cites this paper
• Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows

  2023cites this paper
• Equilibrium Analysis of Markov Regenerative Processes

  2023cites this paper
• Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net

  2022cites this paper
• Analysis of Safety-Critical Cloud Architectures with Multi-Trajectory Simulation

  2022cites this paper
• Grammar-Based Process Model Representation for Probabilistic Conformance Checking

  2022cites this paper
• Compositional Analysis of Hierarchical UML Statecharts

  2022cites this paper
• Repairing Event Logs to Enhance the Performance of a Process Mining Model

  2022cites this paper
• A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction

  2022cites this paper
• Reliability analysis of multi-parameter monitoring systems for Intensive Care Units

  2022cites this paper
• A Stochastic Petri net Model of Continuous Integration and Continuous Delivery

  2022cites this paper
• Compositional Safe Approximation of Response Time Distribution of Complex Workflows

  2021cites this paper
• Path-based modelling of business processes

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

  2020cites this paper
• Stochastic Activity Networks Templates: Supporting Variability in Performability Models

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

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

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

  2020cites this paper
• DevOps workflow verification and duration prediction using non‐Markovian stochastic Petri nets

  2020cites this paper
• Process Meets Project prioritization - a Decision Model for Developing Process Improvement Roadmaps

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

  2019cites this paper
• Stochastic modeling and analysis of vapor cloud explosions domino effects in chemical plants

  2019cites this paper
• Robust deadlock control of automated manufacturing systems with multiple unreliable resources

  2019cites this paper
• Integrating Simulation and Numerical Analysis in the Evaluation of Generalized Stochastic Petri Nets

  2019cites this paper
• A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments

  2019cites this paper
• Earth Movers' Stochastic Conformance Checking

  2019cites this paper
• A Process-Profile-Based Method to Measure Consistency of E-Commerce System

  2018cites this paper
• Adaptive and immersive interfaces to improve situational awareness in multi-robot missions

  2018cites this paper
• Measuring the Complexity of User Processes using Shannon Entropy and Stochastic Petri Nets

  2017cites this paper
• SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems

  2017cites this paper
• Assessing the Impact of Cascading Failures in Urban Electricity Networks

  2017cites this paper
• A Behavioural Analysis of Complexity in Socio-Technical Systems under Tension Modelled by Petri Nets

  2017cites this paper
• An Annotated Bibliography of TimeNET

  2017cites this paper
• Performability evaluation of the ERTMS/ETCS – Level 3

  2017cites this paper
• Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes

  2017cites this paper
• Performability evaluation of the ERTMS/ETCS – Level 3

  2017cites this paper
• Some Notes on Rare-Event Simulation Challenges

  2017cites this paper
• Model-Based Safety and Assessment

  2017cites this paper
• A Hybrid Multi-trajectory Simulation Algorithm for the Performance Evaluation of Stochastic Petri Nets

  2017cites this paper
• Determining mission evolution through UAV telemetry by using decision trees

  2016cites this paper
• UserPro fi le UserBehavior Action 1 Action 2 Action 6 Action 5 Join Submodel Submodel Submodel Submodel Submodel

  2016cites this paper
• A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain

  2016cites this paper
• SpaceMarkov Chainwhose kernel of transition probabilities is derived throughnumerical integration. Limiting and transient probabilities of tangible markings are derived by numerical integration of steady-state and transient equations taking the form of a set of Volterra differential equations [12] a

  2016influential citation
• Multi-level meta-modeling architectures applied to eHealth

  2016influential citation
• Probabilistic Model Checking of Regenerative Concurrent Systems

  2016influential citation
• Numerical Results for the Automated Rare Event Simulation of Stochastic Petri Nets

  2016cites this paper
• Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes

  2016cites this paper
• Modeling QoE in Dependable Tele-Immersive Applications: A Case Study of World Opera

  2016cites this paper
• Speci cations and Solution Techniques for Non-Markovian Stochastic Petri Nets

  2016cites this paper
• Performance Evaluation of Fischer's Protocol through Steady-State Analysis of Markov Regenerative Processes

  2016cites this paper
• Cyber-physical risk assessment for smart grid System Protection Scheme

  2015influential citation
• A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living

  2015influential citation
• Quantifying Risks to Data Assets Using Formal Metrics in Embedded System Design

  2015cites this paper
• Security in Embedded Systems : A Model-Based Approach with Risk Metrics

  2015cites this paper
• Research on Dynamic Reliability of a Jet Pipe Servo Valve Based on Generalized Stochastic Petri Nets

  2015cites this paper
• Stochastic Activity Networks model for the evaluation of the World Opera system

  2015cites this paper
• Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform

  2015cites this paper
• Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3

  2015influential citation
• Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis

  2014cites this paper
• Some Performance Analysis Applications of Stochastic Modeling

  2014cites this paper
• A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models

  2014cites this paper
• Performance Analysis of M/G/1 Retrial Queue with Finite Source Population Using Markov Regenerative Stochastic Petri Nets

  2014cites this paper
• Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters

  2014cites this paper
• Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis

  2013influential citation
• Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds

  2013cites this paper
• Repairing Event Logs Using Stochastic Process Models

  2013cites this paper
• A Brief Study on Stochastic Petri Net ( CS 590 final project – small WCP test report

  2013cites this paper
• Discovering Stochastic Petri Nets with Arbitrary Delay Distributions from Event Logs

  2013cites this paper
• "The Art of Modeling": How Can AIIT Be Modeled?

  2013cites this paper
• Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes

  2013cites this paper
• of Single-Robot and Multi-Robot Plans

  2013cites this paper
• Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis

  2013cites this paper
• A Methodology and Framework for Model-Driven Dependability Analysis of Critical Embedded Systems and Directions Towards Systems of Systems

  2013cites this paper
• Improving Documentation by Repairing Event Logs

  2013cites this paper
• Probabilistic marking estimation in labeled Petri nets

  2013cites this paper
• Probabilistic Marking Estimation in Labeled Petri Nets

  2013cites this paper
• Quantitative evaluation of availability measures of gas distribution networks

  2013cites this paper
• Stochastic Evaluation of QoS in Service-Based Systems

  2013cites this paper
• Faculty of Graduate and Postdoctoral Studies

  2012cites this paper
• Transient analysis of non-Markovian models using stochastic state classes

  2012influential citation
• Energy Consumption Model in ad hoc Mobile Network

  2012cites this paper
• Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models

  2011cites this paper
• A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters

  2011cites this paper
• Energy control in dependable wireless sensor networks: a modelling perspective

  2011cites this paper
• Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers

  2011influential citation
• Dependability and Performance Assessment of Dynamic CONNECTed Systems

  2011cites this paper
• Performance analysis of job dissemination techniques in Grid systems

  2011cites this paper
• Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World

  2010cites this paper
• System failure behavior and maintenance decision making using, RCA, FMEA and FM

  2010cites this paper
• Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes

  2010cites this paper
• Mind changes: A simulation semantics account of counterfactuals

  2010influential citation
• VO-Level Performance Analysis of gLite Grids

  2010cites this paper
• An integrated framework for risk and safety evaluation and process design

  2010cites this paper
• Dependability analysis of wireless sensor networks with active-sleep cycles and redundant nodes

  2010cites this paper