×

zbMATH — the first resource for mathematics

Restrictions and representations of vector controlled concurrent system behaviours. (English) Zbl 0901.68068
Summary: Within the framework of Vector Controlled Concurrent Systems a concurrent system consists of a fixed number of sequential processes together with a vector synchronization mechanism controlling their mutual synchronization. The behaviour of a VCCS is described by a vector language consisting of those combinations of individual sequential computations that observe the synchronization constraints. In this paper VCCS submodels are studied that are obtained by putting certain restrictions on the sequential components or on the control mechanism. First, the inclusion diagram relating the resulting families of vector languages is established. Next, the effect of certain operations on these families is investigated. This leads to representation results characterizing differences between the combinations of restrictions.

MSC:
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Arnold, A., Synchronized behaviours of processes and rational relations, Acta inform., 17, 21-29, (1982) · Zbl 0478.68027
[2] A. Arnold, Synchronization de processus, Université de Bordeaux I, Cours 83-84.
[3] Beauqier, J.; Nivat, M., Application of formal language theory to problems of security and synchronization, (), 407-453
[4] Berstel, J., Transactions and context-free lanauges, (1979), Teubner Stuttgart
[5] Bernardinello, L.; De Cindio, F., A survey of basic net models and modular net classes, (), 304-351
[6] Boasson, L.; Nivat, M., Adhrences of languages, J. comput. system sci., 20, 285-309, (1980) · Zbl 0471.68052
[7] Campbell, R.H.; Habermann, A.N., The specification of process synchronization by path expressions, (), 89-102 · Zbl 0295.68028
[8] Chomsky, N.; Schützenberger, M.P., The algebraic theory of context-free languages, (), 118-161 · Zbl 0148.00804
[9] Greibach, S., The hardest CF language, SIAM J. comput., 2, 304-310, (1973) · Zbl 0278.68073
[10] Hack, M., ()
[11] Harju, T.; Kleijn, H.C.M., Morphisms and rational transducers, EATCS bull., 51, 168-180, (1993) · Zbl 0848.68055
[12] Hopcroft, J.E.; Ullman, J.D., Introduction to automata theory, languages, and computation, (1979), Addison-Wesley Reading, MA · Zbl 0196.01701
[13] Janicki, R.; Lauer, P.E., Specification and analysis of concurrent systems, the COSY approach, () · Zbl 0639.68052
[14] Jensen, K., Coloured Petri nets, basic concepts, analysis methods, and practical use, () · Zbl 0883.68098
[15] Keesmaat, N.W.; Kleijn, H.C.M.; Rozenberg, G., Vector controlled concurrent systems, part I: basic classes, Fund. inform., 13, 275-316, (1990) · Zbl 0713.68024
[16] Keesmaat, N.W.; Kleijn, H.C.M.; Rozenberg, G., Vector controlled concurrent systems, part II: comparisons, Fund. inform., 14, 1-38, (1991) · Zbl 0718.68036
[17] Keesmaat, N.W.; Kleijn, H.C.M., The effect of vector synchronization: residue and loss, (), 215-250 · Zbl 0901.68068
[18] N.W. Keesmaat and H.C.M. Kleijn, Net-based control versus rational control: the relation between ITNC vector languages and rational languages, Acta Inform., to appear. · Zbl 0865.68082
[19] Lauer, P.E.; Campbell, R.H., Formal semantics for a class of high level primitives for coordinating processes, Acta inform., 5, 297-332, (1975) · Zbl 0312.68012
[20] Nivat, M., Behaviors of processes and synchronized systems of processes, (), 473-551
[21] Reisig, W., Petri nets, an introduction, () · Zbl 0521.68057
[22] Shields, M.W., Adequate path expressions, (), 249-265 · Zbl 0429.68058
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.