For the most recent entries see the
Petri Nets Newsletter.
Reveliotis, S.
-
Park, Jonghun;
Reveliotis, Spyros:
Liveness-Enforcing Supervision for Resource Allocation Systems with Uncontrollable Behavior and Forbidden States.
2002.
-
Park, Jonghun;
Reveliotis, Spyros:
Policy Mixtures: A Novel Approach for Enhancing the Operational Flexibility of Resource Allocation Systems with Alternate Routings.
2002.
-
Reveliotis, Spyros;
Park, Jonghun:
Deadlock Avoidance in Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings.
2001.
-
Park, Jonghun;
Reveliotis, Spyros;
Bodner, Douglas A.;
Zhou, Chen;
McGinnis, Leon F.:
A Colored Petri Net-based Approach to the Design of 300mm Wafer Fab Controllers.
2001.
-
Reveliotis, Spyros;
Park, Jonghun:
Algebraic Synthesis of Efficient Deadlock Avoidance Policies for Sequential Resource Allocation Systems.
2000.
-
Reveliotis, Spyros;
Park, Jonghun:
Enhancing the Flexibility of Algebraic Deadlock Avoidance Policies through Petri Net Structural Analysis.
2000.
-
Reveliotis, Spyros;
Park, Jonghun:
Petri Net Based Design of Efficient Deadlock Avoidance Policies for Sequential Resource Allocation Systems.
1999.
-
Reveliotis, Spyros;
Park, Jonghun:
Petri Net Structural Analysis and Deadlock Avoidance in Single-Unit Resource Allocation Systems.
1999.
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