Abstract
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Best E., The Relative Strength of K-density, Lecture Notes in Comp. Sci., vol.84, Springer-Verlag, 1980, pp.261–276.
Janicki R., A Characterization of Concurrency-like Relations, Lecture Notes in Comp. Sci., vol.70, Springer-Verlag, 1979, pp.109–122.
Janicki R., On Atomic Nets and Concurrency Relations, Lecture Notes in Comp. Sci., vol.88, Springer-Verlag, 1980, pp.320–333.
Janicki R., An Approach to the Phenomenon of Concurrency, ICS Reports, to appear.
Petri C.A., Non-Sequential Processes, ISF Report 70-01, GMD, Bonn, 1977.
Petri C.A., Concurrency as a Basis of System Thinking, ISF Report 78-06, GMD, Bonn, 1978.
Prószyński P., Petri Nets and Concurrency-like Relations, Lecture Notes in Comp. Sci., vol.107, Springer-Verlag, 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Prószyński, P. (1981). Remarks on the notion of concurrency relation in the case of systems. In: Gécseg, F. (eds) Fundamentals of Computation Theory. FCT 1981. Lecture Notes in Computer Science, vol 117. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10854-8_34
Download citation
DOI: https://doi.org/10.1007/3-540-10854-8_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10854-2
Online ISBN: 978-3-540-38765-7
eBook Packages: Springer Book Archive