Skip to main content
SpringerLink
Log in
Book cover

First European Simulation Congress ESC 83 pp 323–328Cite as

Simulation of Distributed Systems a Competitive 3-Body Case Study

  • Conference paper

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 71))

Abstract

Some 3-body-systems of seemingly similar movement (balls of a juggler, a bus service on a scheduled round route, and 3 racing cars on a track) are described in terms of states and events and modelled with Petri nets and P-Ta-nets.

Stress is laid on the difference between the static system components (including their structural relations), and the dynamic processes (being deterministic or decision-dependent) which run on the systems. Both of them have to be mapped adequately to the simulating model. A Gedanken-Experiment shows that the difference in control is the reason for the difference in results and in the reliability of results which are obtainable from a simulation.

This leads from the simulation problem to a modelling problem, which overrides the actual (numerical) simulation in importance. The special problems of modelling distributed and competitive systems are shown and some solutions (nets) offered.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E.Best: Non-Deterministic Interleaving & The Non-Transitivity of Concurrency. ISF-Memo BEGRUND-24; GMD (1983)

    Google Scholar 

  2. G.W.BRAMS (nom collectif): Reseaux De Petri: Theorie et Pratique.Tome 1 - Theorie Et Analyse 192 P.Tome 2 - Modelisation Et Applications. 160 P. Edition Masson (1982)

    Google Scholar 

  3. E.W.Dijkstra: Co-operating Sequential Processes. in: F.Genuys (Ed.) Programming Languages, pp. 43–112; Academ.Press (1968)

    Google Scholar 

  4. H.Fuss: AFMG - Ein asynchroner Fluss-Mode11-Generator. 127 S. Berichte der GMD No.100; GMD (1975)

    Google Scholar 

  5. H.Fuss: P-T-Netze zur Simulation von asynchronen Flussen. in: Goos/Hartmanis (Eds.) LNCS Vol.26, pp.326–335; Springer (1975)

    Google Scholar 

  6. H.Fuss: The Use of Place-Transactor-Nets in Simulation. in: Proc.6.Symp.O.R., Methods of OR Vol.44, pp. 535, A.Hain, Meisenheim (1981)

    Google Scholar 

  7. H.Fuss: Reversal Simulation with Place-Transactor-Nets, in: H.Wedde (Ed.) Adequate Modeling of Systems, Proc.Int.Work.Conf. on Model Realism (B.Honnef), pp.222–232; Springer, (1983)

    Chapter  Google Scholar 

  8. A.Maggiolo-Schettini/H.Wedde/J.Minkowski: Modelling a Solution for a Control Problem in Distributed Systems by Restrictions. Theoret.Comput.Sc.13, pp. 61–83; North Holl. Publ.Co. (1981)

    Google Scholar 

  9. C.A.Petri: General Net Theory. in: B.Shaw (Ed.) Computing System Design, pp. 131–170; Univ. of NewcastIe-upon-Tyne (1976)

    Google Scholar 

  10. C.A.Petri: Modelling as a Communication Discipline. in: Beilner/Gelenbe (Eds.) Measuring, Modelling & Evaluating Comp.Systems, pp. 435–449; North Holland Publ.Co. (1977)

    Google Scholar 

  11. C.A.Petri: Concurrency as a Basis of System Thinking. in: Jensen/Mayoh/Moller (Eds.) Proc. 5th Scandinav. Logic Sympos., pp.143–162; Aalborg Universitetsforlag (1979)

    Google Scholar 

  12. C.A.Petri: Concurrency. in: W.Brauer (Ed.) Net Theory & Applications, Proc. Advanced Course on General Net Theory of Processes & Systems (Hamburg), LNCS Vol.84, pp.481–506; Springer (1980)

    Google Scholar 

  13. C.A.Petri: State-Transition Structures in Physics & Computation. Internat.Journ. of Theoret. Physics, Vol. 21, No. 12, pp. 979–992; (1982)

    Google Scholar 

  14. R.Prinoth: An Algorithm to Construct Distributed Systems for State-Machines. in: Sunshine (Ed.) Proc. IFIP ‘82, pp.261–282; North-Holland Publ.Co (1982)

    Google Scholar 

  15. W.Reisig: Petrinetze. Eine Einfuhrung. 158 S. Springer (1982)

    Google Scholar 

  16. B.Rosenstengel/U.Wienand: Petri-Netze, eine anwendungsorientierte Einführung. 169 S. Vieweg & Sohn; Braunschweig (1982)

    Google Scholar 

  17. Ss82 G.Scheschonk: Petri-Netze als formale Basis für Informationsysteme. Vorlesungsmanuskript. FB.Informatik, TU Berlin (WS.1982/83)

    Google Scholar 

  18. R.M.Shapiro/P.S.Thiagarajan: On the Maintainance of Distributed Copies of a Data Base. Internal Report ISF-78.04; GMD (1978)

    Google Scholar 

  19. StdO P.H.Starke: Petri-Netze. 184 S. VEB Deutscher Verlag d. Wissenschaften; Berlin (1980)

    Google Scholar 

  20. R.Valk: Self-Modifying Nets, a Natural Extension of Petri Nets. in: AusieIlo/Bohm (Eds.) LNCS Vol.62, pp.464–476; Springer (1978)

    Google Scholar 

  21. K.Voss: Using Predicate-Transition-Nets to Model & Analyze Distributed Database Systems. in: Transact.Softw.Engin., Vol.Se-6, No.6, pp.539–544; IEEE (1981)

    Article  MathSciNet  Google Scholar 

  22. H.Wedde: A Starvation-free Solution of the Dining Philosophers’ Problem by Use of Interaction Systems. in: LNCS Vol.118, pp.534–543; Springer (1981)

    MathSciNet  Google Scholar 

  23. E.Pless/H.Plünnecke: A Bibliography of Net Theory. Internal Report ISF-80–05, 2nd Edition; GMD (1980)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Bonn, Germany

    Hans Fuss

Authors
  1. Hans Fuss
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Lehrstuhl für Allgemeine Elektrotechnik und Datenverarbeitungssysteme, Rogowksi Institut für Elektrotechnik, RWTH Aachen, Schinkelstraße 2, D-5100, Aachen, Federal Republic of Germany

    Walter Ameling

Rights and permissions

Reprints and permissions

Copyright information

© 1983 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fuss, H. (1983). Simulation of Distributed Systems a Competitive 3-Body Case Study. In: Ameling, W. (eds) First European Simulation Congress ESC 83. Informatik-Fachberichte, vol 71. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69295-6_43

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-69295-6_43

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12723-9

  • Online ISBN: 978-3-642-69295-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation