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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vinod K. Agrawal