For the most recent entries see the
Petri Nets Newsletter.
Lemmon, M.D.
-
He, Kevin X.;
Lemmon, Michael D.:
Liveness Verification of Discrete Event Systems Modeled by n-Safe Ordinary Petri Nets.
2000.
-
He, K.X.;
Lemmon, M.D.:
Liveness-enforcing supervision for n-safe ordinary Petri nets with uncontrollable transitions.
2000.
-
Moody, John O.;
Antsaklis, Panos J.;
Lemmon, Michael D.:
Petri Net Feedback Controller Design for a Manufacturing System.
1996.
-
Yamalidou, Ekaterina;
Moody, John O.;
Antsaklis, Panos J.;
Lemmon, Michael D.:
Feedback Control of Petri Nets Based on Place Invariants.
1996.
-
Moody, John O.;
Antsaklis, Panos J.;
Lemmon, Michael D.:
Feedback Petri Net Control Design in the Presence of Uncontrollable Transitions.
1995.
-
Moody, John O.;
Antsaklis, Panos J.;
Lemmon, Michael D.:
Automated Design of a Petri Net Feedback Controller for a Robotic Assembly Cell.
1995.
-
Moody, John O.;
Yamalidou, Ekaterina;
Antsaklis, Panos J.;
Lemmon, Michael D.:
Feedback Control of Petri Nets Based on Place Invariants.
1994.
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