The following pages link to E. V. Okunishnikova (Q174377):
Displaying 7 items.
- Application of Petri nets in verification of distributed systems represented in the Estelle language (Q2566429) (← links)
- (Q4517041) (← links)
- (Q4517042) (← links)
- (Q4517377) (← links)
- (Q4517385) (← links)
- Time Petri nets with nonoverlapping firing intervals (Q5930950) (← links)
- Verification of Estelle-specified communication protocols using high-level Petri nets (Q5951251) (← links)