For the most recent entries see the Petri Nets Newsletter.

Deadlock Avoidance in Pipeline Concurrent Processes.

Banaszak, Z.; Roszkowska, E.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography