For the most recent entries see the Petri Nets Newsletter.

Model of Concurrent Processes Synchronization Using Petri Nets.

Goetz, J.; Le Tu, Q.H.

In: Syst. Anal., Modelling Simulation; Vol. 6, No. 7, pages 539-543. 1989.

Abstract: A model of concurrent processes using various codes of programs under resources constraints is presented. The extension algorithm of a given concurrent system in such a way that each strategy of resource allocation guarantees that the extended system is deadlock free is found. The proof of correctness of this algorithm is given.

Keywords: concurrent processes synchronization (using nets); deadlock freeness.

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

Back to the Petri Nets Bibliography