Remarks on the notion of concurrency relation in the case of systems

  • Piotr Prószyński
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 117)


This paper is an attempt to investigate certain properties of concurrent systems on the basis of concurrency-like relations. Some general properties of simmetric and irreflexive relations have been stated. However, the result obtained here are not satisfatory — only properties of so simple nets as those which were used in the examples could be investigated without difficulties.

The author supposes that only precise definition of the concurrency relation may improve our understanding of the concurrency phenomena and would enable us to investigate any properties of concurrent systems.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Best E., The Relative Strength of K-density, Lecture Notes in Comp. Sci., vol.84, Springer-Verlag, 1980, pp.261–276.Google Scholar
  2. [2]
    Janicki R., A Characterization of Concurrency-like Relations, Lecture Notes in Comp. Sci., vol.70, Springer-Verlag, 1979, pp.109–122.Google Scholar
  3. [3]
    Janicki R., On Atomic Nets and Concurrency Relations, Lecture Notes in Comp. Sci., vol.88, Springer-Verlag, 1980, pp.320–333.Google Scholar
  4. [4]
    Janicki R., An Approach to the Phenomenon of Concurrency, ICS Reports, to appear.Google Scholar
  5. [5]
    Petri C.A., Non-Sequential Processes, ISF Report 70-01, GMD, Bonn, 1977.Google Scholar
  6. [6]
    Petri C.A., Concurrency as a Basis of System Thinking, ISF Report 78-06, GMD, Bonn, 1978.Google Scholar
  7. [7]
    Prószyński P., Petri Nets and Concurrency-like Relations, Lecture Notes in Comp. Sci., vol.107, Springer-Verlag, 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Piotr Prószyński
    • 1
  1. 1.Institute of MathematicsWarsaw Technical UniversityWarsawPoland

Personalised recommendations