The following pages link to (Q4737569):
Displaying 6 items.
- Statechartable Petri nets (Q470022) (← links)
- Transformation of Petri nets into context-dependent fusion grammars (Q2278280) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- Exploring the properties of MSC documents by translating them into Petri nets (Q2654994) (← links)
- From Box Algebra to Interval Temporal Logic (Q5241413) (← links)
- (Q5422288) (← links)