For the most recent entries see the Petri Nets Newsletter.

Automatic Modelling of Pipeline Concurrent Processes.

Banaszak, Z.

In: IFORS Symposium, Vol. 1 / Geering, H.P.; Mansour, M.: Large Scale Systems: Theory and Applications 1986. Selected Papers from the 4th IFAC, pages 99-104. Oxford: Pergamon Press, 1987.

Abstract: The Petri net approach to the automatic synthesis of a control procedure ensuring deadlock-free cooperation of concurrently flowing processes is discussed. Net models of the control flows are derived. The main purpose of the consideration lies in the formal investigation of conditions sufficent for the design of a class of a priori regular and deadlock-free place/transition nets.

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

Back to the Petri Nets Bibliography