The following pages link to (Q2766563):
Displaying 17 items.
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (Q557805) (← links)
- Model checking of time Petri nets using the state class timed automaton (Q859736) (← links)
- Waiting nets (Q2165233) (← links)
- Strong behavioral similarities in timed-arc Petri nets (Q2335136) (← links)
- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization (Q2814624) (← links)
- Undecidability of coverability and boundedness for timed-arc Petri nets with invariants (Q2917313) (← links)
- A rewriting framework and logic for activities subject to regulations (Q2973251) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← 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)
- (Q4474226) (← links)
- Arc-typed Petri Nets (Q4633168) (← links)
- Universal safety for timed Petri nets is PSPACE-complete (Q5009418) (← links)
- Dynamic Networks of Timed Petri Nets (Q5166770) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465885) (← links)
- Waiting Nets: State Classes and Taxonomy (Q6189319) (← links)
