Allocation and Scheduling of Precedence-Related Periodic Tasks
IEEE Transactions on Parallel and Distributed Systems
The Performance Evaluation Tool for Automated Prototyping of Concurrent Cyclic Processes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Hi-index | 0.00 |
The subject matter of the study are the automated guided vehicle (AGV) operation synchronization mechanisms in flexible manufacturing systems, where transport processes can be modeled as a system of cyclic concurrent processes sharing common resources, i.e., some preset travelling route intervals. In this paper the problem of determination of the local rules coordinating access of the vehicles to the shared travel route intervals, ensuring the deadlock-free execution of the repetitive processes was reduced to determination of the sufficient conditions. In that context the problem considered can be seen as a problem of multi-agent coordination, and defined as the constraint satisfaction problem (CSP) subject to precise and imprecise operation times, and then solved with use of the logic programming techniques.