The following pages link to Vinod K. Agrawal (Q1118412):
Displaying 7 items.
- Invariant-preserving Petri net reduction and conditions for invariant- existence (Q1118414) (← links)
- (Q2638804) (redirect page) (← links)
- Extended colored Petri net: An efficient tool for analyzing concurrent systems (Q2638806) (← links)
- Towards formal specification of a distributed computing system (Q3721801) (← links)
- Reflexive Incidence Matrx (RIM) Representation of Petri Nets (Q3769973) (← links)
- A new methodology for analyzing distributed systems modeled by petri nets (Q4009710) (← links)
- Efficient Circuit Design of Reversible Square (Q5215922) (← links)
