Advertisement

Modelling concurrency with semi-commutations

Extended abstract
  • Edward Ochmański
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 629)

Abstract

The aim of this paper is to propose a mathematical tool, as well general as precise, for reasoning about concurrent systems. Ordered semi-commutative monoids are chosen for this purpose; their directed subsets represent processes of concurrent systems. Properties of such processes are proved; the main one is the diamond property. Infinite semitraces and their graphs are defined. Special sequences of actions, called linearizations and fair linearizations, are distinguished in order to represent finite and infinite processes. Finally, the approach is applied for modelling behaviours of general Petri-nets. Some kind of fairness, oriented on tokens, is introduced. It is shown that complete processes of general petri-nets, contrary to those of elementary nets, are not always fair.

Keywords

Dependency Graph Concurrent System Concurrent Process Commutative Monoids Firing Sequence 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    M.Clerbout/M.Latteux: Semi-Commutations; Information and Computation 73, 1987.Google Scholar
  2. (2).
    D.V.Hung/E.Knuth: Semi-Commutations and Petri Nets; Theoretical Computer Science 64.1, 1989.zbMATHMathSciNetCrossRefGoogle Scholar
  3. [3]
    A.Mazurkiewicz: Complete Processes and Inevitability; Report 86-06, University of Leiden 1986.Google Scholar
  4. [4]
    A.Mazurkiewicz: Trace Theory; Advanced Course on Petri Nets 86, LNCS 255, 1987.Google Scholar
  5. [5]
    A.Mazurkiewicz/E.Ochmański/W.Penczek: Concurrent Systems and Inevitability; Theoretical Computer Science 64.3, 1989.zbMATHCrossRefGoogle Scholar
  6. [6]
    E.Ochmański: Semi-Commutation for Place/Transition Systems; EATCS Bulletin 38, June 1989.Google Scholar
  7. [7]
    E.Ochmański: Semi-Commutation and Deterministic Petri Nets; Proceedings of MFCS'90, LNCS 452, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Edward Ochmański
    • 1
  1. 1.Institute of Computer SciencePolish Academy of SciencesWarszawa

Personalised recommendations