In: Prace Naukowe Instytutu Cybernetyki Technicznej Politechniki Wroclawskiej, Seria: Konferencje No. 38; Third National Conference on Robotics, 1990, Wroclaw, Poland, pages 262-268. 1990. In Polish.
Abstract: A net model of connection processes and its application to the design of FMS is presented. Selected problem of FMS process asynchronous control are considered. The method developed, based on the Petri net formalism, allows the analysis conditions accompanying deadlock in FMSs. The sufficient conditions provided for deadlock avoidance are employed in a synchronization algorithm, which ensures deadlock-free execution of processes competing for access to a shared system's resources.
Keywords: flexible manufacturing system connection process; deadlock avoidance; shared resource; synchronization algorithm.
Back to the Petri Nets Bibliography