In: Proceedings of SME 17th NAMRC, Ohio State Univ., May 24--26, 1989, pages 331-338. 1989.
Abstract: Petri net-based controllers are used in FMS control but do not ensure the absence of deadlocks. Operational analysis to identify and avoid potential deadlock situations is emphasized. Colored petri net representations are modeling tools for complexities that occur due to concurrency inherent in FMS.