Advertisement

Discreteness, K-density and D-continuity of occurrence nets

  • Eike Best
  • Agathe Merceron
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 145)

Abstract

This paper is devoted to the study of occurrence nets as models of non-sequential processes, and of some of their properties. We characterise the properties known as discreteness, K-density and D-continuity which have been proposed in the literature as meaningful properties of processes. We show that they are closely related to each other.

Index terms

Continuity Density Discreteness Non-Sequential Processes Occurrence Nets Partially Ordered Sets Petri Nets 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [B1]
    E. Best: A Theorem on the Characteristics of Non-Sequential Processes. Fundamenta Informaticae, Vol. 3, No. 1, pp. 77–94 (1980).Google Scholar
  2. [B2]
    E. Best: The Relative Strength of K-Density. Lecture Notes in Computer Science, Vol. 84, pp. 261–276, Springer Verlag (1980).Google Scholar
  3. [B3]
    E.Best: A Characterisation of D-Continuity For Partially Ordered Sets. GMD-ISF, Internal Memorandum BEGRUND-12 (September 1982).Google Scholar
  4. [BM]
    E.Best and A.Merceron: Some Properties of Non-Sequential Processes. GMD-ISF Technical Report 82.06 (August 1982).Google Scholar
  5. [BR]
    E. Best and B. Randell: A Formal Model of Atomicity in Asynchronous Systems. Acta Informatica, Vol. 16, pp.93–124 (1981).Google Scholar
  6. [F]
    C.Fernández: Private Communication.Google Scholar
  7. [FT1]
    C.Fernández and P.S.Thiagarajan: Some Properties of D-Continuous Causal Nets. GMD-ISF Technical Report 81.02 (November 1981).Google Scholar
  8. [FT2]
    C. Fernández and P.S. Thiagarajan: Some Properties of D-Continuous Causal Nets. Proc. ICALP'82, Lecture Notes in Computer Science, Vol. 140, pp. 225–238. Springer Verlag (1982).Google Scholar
  9. [FT3]
    C.Fernández and P.S.Thiagarajan: D-Continuous Causal Nets: A Model of Non-Sequential Processes. GMD-ISF Technical Report 82.05 (July 1982).Google Scholar
  10. [GLT]
    H.J. Genrich, K. Lautenbach and P.S. Thiagarajan: Elements of General Net Theory. Lecture Notes in Computer Science, Vol. 84, pp.21–163, Springer Verlag (1980).Google Scholar
  11. [GS]
    H.J. Genrich and E. Stankiewicz-Wiechno: A Dictionary of Some Basic Notions of Net Theory. Lecture Notes in Computer Science, Vol. 84, pp.519–531, Springer Verlag (1980).Google Scholar
  12. [P1]
    C.A.Petri: Non-Sequential Processes. GMD-ISF Technical Report 77.05 (1977).Google Scholar
  13. [P2]
    C.A. Petri: Concurrency. Lecture Notes in Computer Science, Vol. 84, pp.251–260, Springer Verlag (1980). (See also: C.A.Petri: State-Transition Structures in Physics and in Computation. Int. Journal of Theoretical Physics, Vol. 21, Nos. 10/11, 1982.)Google Scholar
  14. [P11]
    H.Plünnecke: Schnitte in Halbordnungen. GMD-ISF Technical Report 81.09 (April 1981).Google Scholar
  15. [P12]
    H.Plünnecke: Private Communication.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Eike Best
    • 1
  • Agathe Merceron
    • 1
  1. 1.GMD-ISF Schloß BirlinghovenSt. A ugustin1F.R.G.

Personalised recommendations