Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)

No abstract is available for this paper.

• Publication year

  2008

• Venue

  Applications and Theory of Petri Nets

• Publication date

  2008-06-23

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-540-68746-7_21
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• TCTL Model Checking of Time Petri Nets

  2009cited by this paper
• Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches

  2007cited by this paper
• On-the-fly TCTL model checking for Time Petri Nets using state class graphs

  2006cited by this paper
• An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches

  2006cited by this paper
• Decidability, expressivity and state-space computation of stopwatch Petri nets with discrete-time semantics

  2006cited by this paper
• State space computation and analysis of Time Petri Nets

  2005cited by this paper
• Romeo: A Tool for Analyzing Time Petri Nets

  2005cited by this paper
• Timed state space analysis of real-time preemptive systems

  2004cited by this paper
• Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation

  2004cited by this paper
• Applications and Theory of Petri Nets 2004

  2004cited by this paper
• A Temporal Logic of Nested Calls and Returns

  2004cited by this paper
• Expressiveness and analysis of scheduling extended time Petri nets

  2003cited by this paper
• State Class Constructions for Branching Analysis of Time Petri Nets

  2003cited by this paper
• Improving the calculus of the marking graph of petri net with BDD like structure

  2002cited by this paper
• A T-time Petri net extension for real-time task scheduling modeling

  2002cited by this paper
• Analyzing Paths in Time Petri Nets

  1999cited by this paper
• What Good Are Digital Clocks?

  1992cited by this paper
• On Time Petri Nets

  1991cited by this paper
• Modeling and Verification of Time Dependent Systems Using Time Petri Nets

  1991cited by this paper
• Essential States in Time Petri Nets

  1991cited by this paper
• Automatic Verification Methods for Finite State Systems

  1989cited by this paper
• Timing Assumptions and Verification of Finite-State Concurrent Systems

  1989cited by this paper
• An Enumerative Approach for Analyzing Time Petri Nets

  1983cited by this paper
• A study of the recoverability of computing systems.

  1974influential reference
• Analysis of asynchronous concurrent systems by timed petri nets

  1974cited by this paper

• Interpreted synchronous extension of time Petri nets

  2021influential citation
• Validation formelle des systèmes numériques critiques : génération de l'espace d'états de réseaux de Petri exécutés en synchrone. (Formal validation of critical digital systems : generation of state space of Petri nets executed in synchronous)

  2018cites this paper
• Contributions à l'élaboration de connaissances qualitatives en bio-informatique. (Contributions to the elaboration of qualitative knowledge in bioinformatics)

  2016cites this paper
• Tools for Model-Checking Timed Systems

  2013influential citation
• Overview of Robustness in Timed Systems

  2012cites this paper
• On the modularity in Petri Nets of Active Resources ?

  2011cites this paper
• Compositional Analysis of Discrete Time Petri nets

  2011cites this paper
• Expressiveness of Petri Nets with Stopwatches. Discrete-time Part

  2009cites this paper
• Expressiveness of Petri Nets with Stopwatches. Dense-time Part

  2009cites this paper
• Petri Nets with Time Windows: A Comparison to Classical Petri Nets

  2009cites this paper