scientific article; zbMATH DE number 4209631
From MaRDI portal
Publication:3357558
Recommendations
Cited in
(50)- Time-based expressivity of time Petri nets for system specification
- A causal semantic for time Petri nets
- Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
- On persistency in time Petri nets
- Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks
- Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities
- Time based deadlock prevention for Petri nets
- Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis
- Waiting nets
- Local time membrane systems and time Petri nets
- Contracts for cross-organizational workflows as timed dynamic condition response graphs
- Decidable classes of unbounded Petri nets with time and urgency
- Time and Petri nets
- A holistic state equation for timed Petri nets
- Time-independent liveness in time Petri-nets
- How Petri nets might enhance your systems biology toolkit
- Weak Time Petri Nets Strike Back!
- Analysis of RTCP-nets with reachability graphs
- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
- Symbolic Reachability Analysis of Integer Timed Petri Nets
- Study on event correlation detecting mechanism based on time Petri nets
- Shrinking of time Petri nets
- scientific article; zbMATH DE number 1337891 (Why is no real title available?)
- scientific article; zbMATH DE number 1534591 (Why is no real title available?)
- scientific article; zbMATH DE number 1751909 (Why is no real title available?)
- scientific article; zbMATH DE number 1755138 (Why is no real title available?)
- POC net, a subclass of Petri nets, and its application to timed Petri nets
- scientific article; zbMATH DE number 1836371 (Why is no real title available?)
- Algebraical characterisation of interval-timed Petri nets with discrete delays
- Verification of reachability properties for time Petri nets
- Covering steps graphs of time Petri nets
- Petri nets with time windows: A comparison to classical Petri nets
- SMT-based reachability checking for bounded time Petri nets
- Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
- Relevant timed schedules/clock vectors for constructing time Petri net reachability graphs
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Extreme runtimes of schedules modelled by time Petri nets
- The on-line diagnosis of time Petri nets
- Timed Basic Parallel Processes
- Time Petri nets with nonoverlapping firing intervals
- Verifying time Petri nets by linear programming
- Fast asynchronous systems in dense time
- Liveness enforcement for production systems modeled by time Petri nets
- Waiting Nets: State Classes and Taxonomy
- On the composition of time Petri nets
- Time processes for time Petri nets
- An extremum timed extended reachability graph for temporal analysis of time Petri nets
- A survey on performance evaluations in time-dependent Petri nets
- Model checking of time Petri nets using the state class timed automaton
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3357558)
