Pages that link to "Item:Q453542"
From MaRDI portal
The following pages link to A concurrency-preserving translation from time Petri nets to networks of timed automata (Q453542):
Displaying 6 items.
- Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis (Q2128086) (← links)
- A flattening algorithm for hierarchical timed automata (Q2332032) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- ON THE CALCULATION OF THE TRANSFER FUNCTION OF TIMED EVENT PETRI NETS (Q4372899) (← links)
- Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account (Q5100747) (← links)
- Concurrency in Boolean networks (Q6151158) (← links)