In: Prace nauk Inst Cybernetyki Techn Politechn Wrocl K 3 Krajowa konf robotyki, T 2, Wroclaw, PL, 19-21 Sep, 1990, Vol. 83, No. 38, pages 262-268. 1990.
Abstract: In this paper a net model of connection processes and its application to the designing of FMS is presented. Selected problems of the FMS processes asynchronous control are considered. The model, developed in the paper, based on the Petri net formalism, allows to analyse conditions accompanning the deadlock's occurrance in FMSs. The sufficient conditions provided for the deadlock avoidance are employed to a synchronization algorithm, which ensures the deadlock-free execution of processes competing for the access to shared system's resources