Local checking of trace synchronizability

Extended Abstract
  • Volker Diekert
  • Walter Vogler
Part of the Lecture Notes in Computer Science book series (LNCS, volume 324)


Trace theory has been developed to describe the behaviour of concurrent systems. For a modular approach synchronization of traces is of special interest. We characterize those trace monoids for which synchronization can be described locally.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AaRo86]
    Aalbersberg, I.J., Rozenberg, G.: Theory of Traces, University of Leiden, Report 86–16 (1986), Vakgroep Informatica.Google Scholar
  2. [CaFo69]
    Cartier, P., Foata, D.: Problèmes combinatoires de commutation et réarrangements. Lect. Not. in Math., No. 85, Springer: 1969Google Scholar
  3. [CoMe85]
    Cori, R., Métivier, Y.: Recognizable subsets of some partially abelian monoids. Theor. Comp. Sci., Vol. 35, 241–254, (1985)Google Scholar
  4. [CoPe85]
    Cori, R., Perrin, D.: Automates et Commutations Partielles. R.A.I.R.O., Informatique theoriques 19, No. 1, (1985), p. 21–32Google Scholar
  5. [CILa85]
    Clerbout, M., Latteux, M.: Partial Commutations and Faithful Rational Transductions, Theoret. Comp. Sci. 35 (1985), p. 241–254Google Scholar
  6. [DieVo88]
    Diekert, V., Vogler, W.: On the Synchronization of Traces and Petri Nets: submitted.Google Scholar
  7. [Fisch86]
    Fischer, W.: Über erkennbare und rationale Mengen in freien partiell kommutativen Monoiden, Diplomarbeit Universität Hamburg 1986, available as Report FBI-HH-B-121/86Google Scholar
  8. [MacL70]
    MacLane, S.: Categories. For the working mathematician. Graduate Texts in Mathematics, Springer: 1970Google Scholar
  9. [Mazu77]
    Mazurkiewicz, A.: Concurrent Program Schemes and Their Interpretations. DAIMI Rep. PB 78, Aarhus University, Aarhus (1977)Google Scholar
  10. [Mazu87]
    Mazurkiewicz, A.: Trace Theory, in: Brauer, Reisig, Rozenberg (Eds.): Petri Nets, Applications and Relationship to Other Models of Concurrency, Bad Honnef 1986, LNCS 255, p.279–324 (1987)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Volker Diekert
    • 1
  • Walter Vogler
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2

Personalised recommendations