Advertisement

Compositional generation of home states in free choice systems

  • Eike Best
  • Ludmila Cherkasova
  • Jörg Desel
Concurrency II
Part of the Lecture Notes in Computer Science book series (LNCS, volume 480)

Abstract

Free choice nets are a class of Petri nets allowing to model concurrency and nondeterministic choice, but with the restriction that choices cannot be influenced externally. Home states are ground states which lead to a strongly connected state graph, that is, a home state can be reached from any of its successor states. The main result of this paper characterises the home states of a structurally live and bounded free choice system compositionally by recourse to its decomposition into T-components.

Keywords

Free Choice Petri Nets Reversibility Home States Cyclic Behaviour Compositionality 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    E. Best and J. Desel: Partial Order Behaviour and Structure of Petri Nets. Formal Aspects of Computing Vol.2 No.2, 123–138 (1990).CrossRefGoogle Scholar
  2. [2]
    E. Best, L. Cherkasova, J. Desel and J. Esparza: Characterisation of Home States in Free Choice Systems. Hildesheimer Informatik-Berichte Nr. 9/90 (September 1990).Google Scholar
  3. [3]
    E. Best, J. Desel and J. Esparza: Traps Characterise Home States in Free Choice Systems. Submitted Paper (June 1990).Google Scholar
  4. [4]
    F. Commoner, A.W. Holt, S. Even and A. Pnueli: Marked Directed Graphs. Journal of Computer and System Science Vol.5, 511–523 (1971).Google Scholar
  5. [5]
    J. Desel and J. Esparza: Reachability in Reversible Free Choice Systems. Proceedings of STACS'91, Lecture Notes in Computer Science, Springer Verlag (1991).Google Scholar
  6. [6]
    H.J. Genrich and K. Lautenbach: Synchronisationsgraphen. Acta Informatica Vol.2, 143–161 (1973).CrossRefGoogle Scholar
  7. [7]
    M. Hack: Analysis of Production Schemata by Petri Nets. TR-94, MIT-MAC (1972). Corrections (1974).Google Scholar
  8. [8]
    W. Reisig: Petri Nets — an Introduction. EATCS Monographs on Theoretical Computer Science, Vol. 4, Springer Verlag (1985).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Eike Best
    • 1
  • Ludmila Cherkasova
    • 2
  • Jörg Desel
    • 3
  1. 1.Institut für InformatikUniversität HildesheimHildesheim
  2. 2.Institute of Informatics SystemsUSSR Academy of SciencesNovosibirsk
  3. 3.Institut für InformatikTechnische Universität MünchenMünchen

Personalised recommendations