Pages that link to "Item:Q2475807"

The following pages link to Timed Petri nets and timed automata: On the discriminating power of Zeno sequences (Q2475807):

Displayed 7 items.

• Dense-choice counter machines revisited (Q2015129) ‎ (← links)
• Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) ‎ (← links)
• TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) ‎ (← 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)
• Waiting Nets: State Classes and Taxonomy (Q6189319) ‎ (← links)