Extended simple regular expressions

  • Hartmann J. Genrich
Part of the Lecture Notes in Computer Science book series (LNCS, volume 32)


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.


Atomic Plan Theoretical Computer Science Dual Concept Cessing System Coincidence Class 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Genrich, H.J.: Ein systemtheoretischer Beitrag zur Handlungslogik. Interner Bericht der GMD, ISF-03/75, Bonn (1975)Google Scholar
  2. 2.
    Petri, C.A.: Kommunikation mit Automaten. Schriften des IIM Nr.2, Bonn (1962)Google Scholar
  3. 3.
    Birkhoff, G.: Lattice theory (third edition). American Mathematical Society, Providence (1967)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Hartmann J. Genrich
    • 1
  1. 1.Gesellschaft fuer Mathematik und DatenverarbeitungSt.Augustin 1

Personalised recommendations