Pages that link to "Item:Q3075507"

The following pages link to Verification of Timed-Arc Petri Nets (Q3075507):

Displaying 9 items.

• 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)
• Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture (Q2822649) (← links)
• Decidable Classes of Unbounded Petri Nets with Time and Urgency (Q2822660) (← links)
• Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets (Q2945579) (← links)
• WQO dichotomy for 3-graphs (Q5919047) (← links)