Lalit M. Patnaik

Available identifiers

zbMath Open patnaik.lalit-mohanMaRDI QIDQ1118413

List of research outcomes

Publication	Date of Publication	Type
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: Lalit M. Patnaik