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.
Back to the Petri Nets Bibliography