Enhancing hybrid state Petri nets with the analysis power of stochastic hybrid processes

No abstract is available for this paper.

• Publication year

  2008

• Venue

  International Workshop on Discrete Event Systems

• Publication date

  2008-05-28

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/WODES.2008.4605979
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Hybrid Petri Nets with Diffusion that have Into-Mappings with Generalised Stochastic Hybrid Processes

  2006influential reference
• Model Checking for a Class of Performance Properties of Fluid Stochastic Models

  2006cited by this paper
• Toward a General Theory of Stochastic Hybrid Systems

  2006influential reference
• Compositional Specification of a Multi-Agent System by Stochastically and Dynamically Coloured Petri Nets

  2006cited by this paper
• Markov Processes: Characterization and Convergence

  2005cited by this paper
• Bisimulation for General Stochastic Hybrid Systems

  2005cited by this paper
• Equivalence of dynamical systems by bisimulation

  2004cited by this paper
• Techniques for System Dependability Evaluation

  2000cited by this paper
• Piecewise Deterministic Markov Processes represented by Dynamically Coloured Petri Nets Revised edition

  1999cited by this paper
• A Sufficient Condition for Controllability of a Class of Hybrid Systems

  1998cited by this paper
• Synthesizing Controllers for Nonlinear Hybrid Systems

  1998cited by this paper
• An Approach to the Verification of the Center-TRACON Automation System

  1998cited by this paper
• Recent Developments in Non-Markovian Stochastic Petri Nets

  1998cited by this paper
• Introduction to the Theory of Computation

  1996cited by this paper
• Studies in hybrid systems: modeling, analysis, and control

  1996cited by this paper
• Verification of Automated Vehicle Protection Systems

  1995cited by this paper
• Markov Models and Optimization

  1995cited by this paper
• Power-hierarchy of dependability-model types

  1994cited by this paper
• Petri nets for modeling of dynamic systems: A survey

  1994cited by this paper
• Hidden Markov Models: Estimation and Control

  1994cited by this paper
• Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems

  1992cited by this paper
• Stochastic calculus and applications

  1984cited by this paper
• Piecewise‐Deterministic Markov Processes: A General Class of Non‐Diffusion Stochastic Models

  1984cited by this paper
• Stochastic calculus and applications

  1982cited by this paper
• Nationaal Nationaal Nationaal Nationaal Lucht-en Lucht-en Lucht-en Lucht-en Ruimtevaartlaboratorium

  year unknowncited by this paper

• Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings

  2020cites this paper
• State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings

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

  2017cites this paper
• Development, validation and application of stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes

  2013cites this paper
• Systematic Validation of a Mathematical Model of ACAS Operations for Safety Assessment Purposes

  2011cites this paper
• Stochastically and Dynamically Coloured Petri Net Model of ACAS Operations

  2010cites this paper
• Hybrid State Petri Nets which Have the Analysis Power of Stochastic Hybrid Systems and the Formal Verification Power of Automata

  2010cites this paper
• Model-Driven Based Evolution Rules and Conflicts Analysis for Enterprise Energy Consumption Process

  2009cites this paper