For the most recent entries see the Petri Nets Newsletter.

The Effect of Vector Synchronization Residue and Loss.

Keesmaat, N.W.; Kleijn, H.C.M.

In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 609; Advances in Petri Nets 1992, pages 215-250. Springer-Verlag, 1992.

Abstract: In a Vector Controlled Concurrent System (VCCS) a fixed number of sequential processes operate under the control of a vector synchronization mechanism. Thus, the original behaviour of each of the component processes is constrained by the control mechanism. This observation leads to the introduction of the notion of residue (the remaining behaviour possibilities) and the complementary notion of loss (of behaviour possibilities). For various submodels of the general VCCS model obtained by varying the classes of component processes and by varying the synchronization mechanism, we characterize in a language theoretical sense their residue families and their loss families. In addition we establish for these VCCS submodels the borderline between decidable and undecidable emptiness and finiteness problems for the corresponding families of losses and residues.

Keywords: vector synchronization; Vector Controlled Concurrent Systems; residual behaviour; vector languages; formal languages.


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

Back to the Petri Nets Bibliography