The following pages link to (Q3601860):
Displaying 11 items.
- Shrinking of time Petri nets (Q378906) (← links)
- Time-based expressivity of time Petri nets for system specification (Q1285652) (← links)
- The expressive power of time Petri nets (Q1944773) (← links)
- Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis (Q2128086) (← links)
- Local time membrane systems and time Petri nets (Q2285668) (← links)
- Weak Time Petri Nets Strike Back! (Q3184699) (← links)
- How Expressive Are Petri Net Schemata? (Q3618706) (← links)
- Arc-typed Petri Nets (Q4633168) (← links)
- Dynamic Networks of Timed Petri Nets (Q5166770) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897964) (← links)
- Switched max-plus linear-dual inequalities: cycle time analysis and applications (Q6544795) (← links)