The following pages link to (Q4000457):
Displaying 6 items.
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (Q557805) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- Specification and performance analysis of embedded systems with coloured Petri nets (Q1963360) (← links)
- Petri net based scheduling (Q2564338) (← links)
- Temporal uncertainty and fuzzy-timing high-level Petri nets (Q4633152) (← links)
- Task net: Transactional workflow model based on colored Petri net. (Q5953332) (← links)