On the control of concurrent systems by restrictions of the state behaviour | SpringerLink
Skip to main content
Springer Nature Link
Log in

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

  • Conference paper
  • First Online:
Computation Theory (SCT 1984)

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

Included in the following conference series:

  • 137 Accesses

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 to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

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