Remarks on the notion of concurrency relation in the case of systems
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.
- Best E., The Relative Strength of K-density, Lecture Notes in Comp. Sci., vol.84, Springer-Verlag, 1980, pp.261–276.Google Scholar
- Janicki R., A Characterization of Concurrency-like Relations, Lecture Notes in Comp. Sci., vol.70, Springer-Verlag, 1979, pp.109–122.Google Scholar
- Janicki R., On Atomic Nets and Concurrency Relations, Lecture Notes in Comp. Sci., vol.88, Springer-Verlag, 1980, pp.320–333.Google Scholar
- Janicki R., An Approach to the Phenomenon of Concurrency, ICS Reports, to appear.Google Scholar
- Petri C.A., Non-Sequential Processes, ISF Report 70-01, GMD, Bonn, 1977.Google Scholar
- Petri C.A., Concurrency as a Basis of System Thinking, ISF Report 78-06, GMD, Bonn, 1978.Google Scholar
- Prószyński P., Petri Nets and Concurrency-like Relations, Lecture Notes in Comp. Sci., vol.107, Springer-Verlag, 1981.Google Scholar