In: 2: Podstawy Sterowania, Vol. 18, No. 1, pages 3-17. 1988.
Abstract: The problem concerns an automatic synthesis of P/T systems modelling all feasible realizations of concurrent pipeline processes occurring in FMSs. First a P/T system is defined with the specification of a manufacturing process as a parameter, providing the model respecting the resources constraints and parts routing requirements. Then this P/T system is transformed into a live P/T system with inhibitor arcs providing deadlock avoidance.
Keywords: deadlock avoidance (in) pipeline concurrent process; P/T system, live; manufacturing process; resource constraint; routing requirement.