Extended simple regular expressions
We have seen that concurrency and decision are dual concepts in the same sense as logical ‘and’ and logical ‘or’ are dual. Furthermore, the temporal connective ‘first-then’ may exhibit properties of ‘and’ or of ‘or’ according to its use in the context of action (→ plans, tasks, accomplishment) or in the context of states-of-affairs (→ assertions, restrictions, observance). It should have become obvious that these structural properties of fundamental concepts of systems organization are important enough not to be omitted by restricting oneself to purely sequential mathematical models which do not properly exhibit concurrency phenomena.
KeywordsAtomic Plan Theoretical Computer Science Dual Concept Cessing System Coincidence Class
Unable to display preview. Download preview PDF.
- 1.Genrich, H.J.: Ein systemtheoretischer Beitrag zur Handlungslogik. Interner Bericht der GMD, ISF-03/75, Bonn (1975)Google Scholar
- 2.Petri, C.A.: Kommunikation mit Automaten. Schriften des IIM Nr.2, Bonn (1962)Google Scholar
- 3.Birkhoff, G.: Lattice theory (third edition). American Mathematical Society, Providence (1967)Google Scholar