Name
Affiliation
Papers
SPYROS A. REVELIOTIS
Georgia Inst Technol, Sch Ind & Syst Engn, Atlanta, GA 30332 USA
26
Collaborators
Citations 
PageRank 
30
140
18.02
Referers 
Referees 
References 
201
152
170
Search Limit
100201
Title
Citations
PageRank
Year
Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling.00.342019
An MPC Scheme for Traffic Coordination in Open and Irreversible, Zone-Controlled, Guidepath-Based Transport Systems20.382019
Some new results on the state liveness of open guidepath-based traffic systems00.342019
On the "Counter-Example" in the Article "Max'-Controlled Siphons for Liveness of S3PGR2" Regarding the Results in "Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings".00.342016
Some Novel Traffic Coordination Problems And Their Analytical Study Based On Lagrangian Duality Theory00.342016
Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory00.342015
Coordinating Autonomy: Sequential Resource Allocation Systems for Automation70.732015
Guest Editorial: Special Section on Advances in Discrete-Event Systems for Automation00.342014
Performance optimization for a class of Generalized Stochastic Petri nets30.402013
Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).20.372009
Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems120.722007
A Generalized Stochastic Petri Net Model For Performance Analysis And Control Of Capacitated Reentrant Lines120.972003
Structural analysis of resource allocation systems with synchronization constraints50.482003
On the Optimality of Randomized Deadlock Avoidance Policies00.342003
Policy mixtures: a novel approach for enhancing the operational flexibility of resource allocation systems with alternate routings30.542002
Liveness-Enforcing Supervision For Resource Allocation Systems With Uncontrollable Behavior And Forbidden States171.772002
An analytical investigation of the scheduling problem for capacitated re-entrant lines10.392002
Liveness Enforcing Supervision for Resource Allocation Systems with Forbidden States and Uncontrollable Events.00.342002
A Distributed, Event-Driven Control Architecture For Flexibly Automated Manufacturing Systems40.582002
A high-fidelity, web-based simulator for 300 mm wafer fabs41.202001
Algebraic Deadlock Avoidance Policies For Conjunctive/Disjunctive Resource Allocation Systems20.582001
A Colored Petri Net-Based Approach To The Design Of 300mm Wafer Fab Controllers00.342001
Enhancing the Flexibility of Algebraic Deadlock Avoidance Policies through Petri Net Structural Analysis30.592000
An Analytical Investigation Of The Deadlock Avoidance Versus Detection And Recovery Problem In Buffer-Space Allocation Of Flexibly Automated Production Systems10.452000
A Correct And Scalable Deadlock Avoidance Policy For Flexible Manufacturing Systems604.361998
Learning to Select a Model in a Changing World20.471991