The following pages link to (Q3357558):
Displaying 16 items.
- Model checking of time Petri nets using the state class timed automaton (Q859736) (← links)
- Time-based expressivity of time Petri nets for system specification (Q1285652) (← links)
- A causal semantic for time Petri nets (Q1575828) (← links)
- Efficiency of asynchronous systems, read arcs, and the MUTEX-problem (Q1607225) (← links)
- Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks (Q1761679) (← links)
- Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities (Q1982990) (← links)
- Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis (Q2128086) (← links)
- Waiting nets (Q2165233) (← links)
- Local time membrane systems and time Petri nets (Q2285668) (← links)
- Contracts for cross-organizational workflows as timed dynamic condition response graphs (Q2436452) (← links)
- How Might Petri Nets Enhance Your Systems Biology Toolkit (Q3011879) (← links)
- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper) (Q3510874) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- Timed Basic Parallel Processes (Q5875376) (← links)
- Fast asynchronous systems in dense time (Q5940928) (← links)
- Waiting Nets: State Classes and Taxonomy (Q6189319) (← links)
