Synchronic distances in C/E systems

Abstract

Synchronic distances are system invariants representing fundamental system properties. There is a strong connection between synchronic distances and concurrency, but as we can see from this paper that such distances are a mixed measure of both concurrent and sequential phenomena. This paper devotes to the investigation of the meaning of synchronic distance values, while a measure of sequential behaviour, β, is defined. As an application, a net model of a buffer is proposed. Weighted synchronic distances are also discussed. Necessary and sufficient conditions for a C/E system to always have finite weighted synchronic distances are given together with the way to define the corresponding weight functions under these conditions.