For the most recent entries see the
Petri Nets Newsletter.
Buy, U.
-
Buy, Ugo;
Darabi, Houshang;
Lehene, Mihai;
Venepally, Vikram:
Supervisory Control of Time Petri Nets Using Net Unfolding.
2005.
-
Buy, Ugo;
Lehene, Mihai;
Darabi, Houshang.:
Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets.
2005.
-
Buy, Ugo;
Singal, Gaurav:
Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems.
2002.
-
Mascarenhas, R.;
Karumuri, D.;
Buy, U.;
Kenyon, R.:
Modeling and analysis of a virtual reality system with time Petri nets.
1997.
-
Duri, S.;
Buy, U.;
Devarapalli, R.;
Shatz, S.M.:
Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada.
1994.
-
Duri, S.;
Buy, U.;
Devarapalli, R.;
Shatz, S.M.:
Using State Space Methods for Deadlock Analysis in Ada Tasking.
1993.
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