Semantics of concurrent systems: A modular fixed-point trace approach. (English) Zbl 0576.68044

Mazurkiewicz, A.

Advances in Petri nets 1984, Lect. Notes Comput. Sci. 188, 353-375 (1985).

[For the entire collection see Zbl 0556.00014.]
A special synchronization (dyadic, idempotent, commutative, associative) on sets of processes of a modular system allows to describe the system behaviour from the behaviour of the components; where every partition of the set of places defines a decomposition of a net into (suitable) modules.

Reviewer: H.Fuss

MSC:

68Q85

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Keywords:

concurrent processes; traces; system composition; Petri nets; synchronization; modular system; system behaviour; decomposition

Citations:

Zbl 0556.00014