Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Spyros Reveliotis
Deadlock Avoidance Policies for Automated Manufacturing Systems Using Finite State Automata
Formal Methods in Manufacturing
Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages
Related publications
Design and Implementation of Deadlock Control for Automated Manufacturing Systems
South African Journal of Industrial Engineering
Industrial
Manufacturing Engineering
Deadlock Avoidance for Multi Product Manufacturing Systems Modeled as Sequences of Operations
Comparison and Evaluation of Deadlock Prevention Methods for Different Size Automated Manufacturing Systems
Mathematical Problems in Engineering
Mathematics
Engineering
Implementation of Finite State Automata Using fLIF Neurons
Deciding Probabilistic Simulation Between Probabilistic Pushdown Automata and Finite-State Systems
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Finite-State Registered Automata for Non-Concatenative Morphology
Computational Linguistics
Linguistics
Computer Science Applications
Artificial Intelligence
Language
Finite-State Automata on Infinite Inputs
Deadlock-Free Discrete Controller Synthesis for Infinite State Systems
