Skip to main content
SpringerLink
Log in
Book cover

Symposium on Computation Theory

SCT 1984: Computation Theory pp 14–23Cite as

On the control of concurrent systems by restrictions of the state behaviour

  • Conference paper
  • First Online:

  • 136 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 208))

Abstract

Properties of concurrent systems like deadlock-avoidance, fairness etc. can be achieved by appropriate controls of the external behaviour in many cases. The paper investigates the problem in which way such controls can be realized by restrictions of the internal state behaviour of the systems.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arnold,A., M.Nivat: Controlling behaviours of systems, some basic concepts and some applications. In: P.Dembiński, Ed., Mathematical Foundations of Computer Science (LNCS 88, 1980), 113–122.

    Google Scholar 

  2. Burkhard, H.D.: Control of Petri nets by finite automata. Fundamenta Informaticae VI.2 (1983), 185–215.

    Google Scholar 

  3. Burkhard,H.D.: (1) An investigation of controls for concurrent systems based on abstract control languages. To appear in Theoretical Computer Science.

    Google Scholar 

  4. Burkhard, H.D.: (2) Extended abstract: An investigation of controls for concurrent systems by abstract control languages. In: M.P.Chytil and V.Koubek, Ed., Mathematical Foundations of Computer Science (LNCS 176, 1984), 223–231.

    Google Scholar 

  5. Burkhard,H.D.: (3) Extended german version: Untersuchung von Steuerproblemen nebenläufiger Systeme auf der Basis abstrakter Steuersprachen. Seminarbericht Nr. 58, Sektion Mathematik, Humboldt-Universität zu Berlin, 1984.

    Google Scholar 

  6. Carstensen,H., R.Valk: Infinite behaviour and fairness in Petri nets. Proc. 4th European Workshop on Application and Theory of Petri Nets, Toulouse 1983, 104–123.

    Google Scholar 

  7. Lehmann,D., A.Pnueli, J.Stavi: Impartiality, justice, fairness: The ethics of concurrent termination. In: S.Even and O.Kariv, Ed., Automata, Languages and Programming (LNCS 115, 1981), 264–277.

    Google Scholar 

  8. Sifakis, J.: A unified approach for studying the properties of transition systems. Theoretical Computer Science 18 (1982), 1–32.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Sektion Mathematik, Humboldt-Universität, PSF 1297, DDR-1086, Berlin

    Hans-Dieter Burkhard

Authors
  1. Hans-Dieter Burkhard
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andrzej Skowron

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Burkhard, HD. (1985). On the control of concurrent systems by restrictions of the state behaviour. In: Skowron, A. (eds) Computation Theory. SCT 1984. Lecture Notes in Computer Science, vol 208. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16066-3_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-16066-3_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16066-3

  • Online ISBN: 978-3-540-39748-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation