Vinod K. Agrawal

Available identifiers

zbMath Open agrawal.vinod-kumarMaRDI QIDQ1118412

List of research outcomes

Publication	Date of Publication	Type
Efficient Circuit Design of Reversible Square	2020-02-13	Paper
A new methodology for analyzing distributed systems modeled by petri nets	1992-09-27	Paper
Extended colored Petri net: An efficient tool for analyzing concurrent systems	1991-01-01	Paper
Invariant-preserving Petri net reduction and conditions for invariant- existence	1988-01-01	Paper
Reflexive Incidence Matrx (RIM) Representation of Petri Nets	1987-01-01	Paper
Towards formal specification of a distributed computing system	1985-01-01	Paper

Research outcomes over time

This page was built for person: Vinod K. Agrawal