For the most recent entries see the
Petri Nets Newsletter.
Lodaya, K.
-
Lodaya, Kamal;
Ranganayakulu, D.;
Rangarajan, K.:
Hierarchical Structure of 1-Safe Petri Nets.
2003.
-
Lodaya, Kamal;
Mukund, Madhavan;
Ramanujam, R.;
Thiagarajan, P.S.:
Models and Logics for True Concurrency.
1990.
-
Lodaya, K.;
Ramanujam, R.;
Thiagarajan, P.S.:
A Logic for Distributed Transition Systems.
1989.
-
Lodaya, K.;
Thiagarajan, P.S.:
A Modal Logic for a Subclass of Event Structures.
1987.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography