Pages that link to "Item:Q5713513"
From MaRDI portal
The following pages link to Applications and Theory of Petri Nets 2005 (Q5713513):
Displaying 14 items.
- A concurrency-preserving translation from time Petri nets to networks of timed automata (Q453542) (← 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)
- (Q2766563) (← links)
- Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency) (Q2842569) (← links)
- Structural translation from time Petri nets to timed automata (Q2848419) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- (Q3601860) (← links)
- (Q4474226) (← links)
- Arc-typed Petri Nets (Q4633168) (← links)
- (Q5090941) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897964) (← links)
- Transforming dynamic condition response graphs to safe Petri nets (Q6535206) (← links)