For the most recent entries see the Petri Nets Newsletter.

Synthesis of Well Behaved Synchronized Processes.

Hao, C.

In: IFIP Symposium / Florian, D., Haase, V.: Software for Computer Control 1986. Selected Papers from the Fourth IFAC, pages 233-237. Oxford: Pergamon Press, 1987.

Abstract: The paper presents a method to design a synchronized concurrent system which preserves well behaviour under all execution situations. Computational structures are developed with the bipolar synchronisation scheme as its underlying digraph.

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

Back to the Petri Nets Bibliography