The following pages link to (Q4535172):
Displaying 28 items.
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (Q557805) (← links)
- On-the-fly \(TCTL\) model checking for time Petri nets (Q732013) (← links)
- Model checking of time Petri nets using the state class timed automaton (Q859736) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- Parameterized model checking of networks of timed automata with Boolean guards (Q1989334) (← links)
- A counter abstraction technique for verifying properties of probabilistic swarm systems (Q2124442) (← links)
- Waiting nets (Q2165233) (← links)
- Combining free choice and time in Petri nets (Q2291812) (← links)
- Strong behavioral similarities in timed-arc Petri nets (Q2335136) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- Timed Petri nets and timed automata: On the discriminating power of Zeno sequences (Q2475807) (← links)
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture (Q2822649) (← links)
- Decidable Classes of Unbounded Petri Nets with Time and Urgency (Q2822660) (← links)
- Complexity Hierarchies beyond Elementary (Q2828216) (← links)
- Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets (Q2945579) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- On the Verification of Timed Ad Hoc Networks (Q3172855) (← links)
- Weak Time Petri Nets Strike Back! (Q3184699) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- Minimal Cost Reachability/Coverability in Priced Timed Petri Nets (Q3617740) (← links)
- Monotonic Abstraction in Parameterized Verification (Q4982082) (← links)
- Universal safety for timed Petri nets is PSPACE-complete (Q5009418) (← links)
- Linear equations for unordered data vectors in $[D]^k\to{}Z^d$ (Q5060183) (← links)
- Dynamic Networks of Timed Petri Nets (Q5166770) (← links)
- (Q5240148) (← links)
- Timed Basic Parallel Processes (Q5875376) (← links)
- WQO dichotomy for 3-graphs (Q5919047) (← links)
- Waiting Nets: State Classes and Taxonomy (Q6189319) (← links)
