The following pages link to (Q2766569):
Displaying 6 items.
- On the composition of time Petri nets (Q645045) (← links)
- Performance evaluation in stochastic process algebra dtsdPBC (Q2058309) (← links)
- Discrete time stochastic and deterministic Petri box calculus dtsdPBC (Q2212703) (← links)
- A congruence relation for sPBC (Q2481583) (← links)
- Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets (Q3613087) (← links)
- Performance preserving equivalence for stochastic process algebra dtsdPBC (Q6587404) (← links)