Skip to main content
SpringerLink
Log in
Book cover

Simulationstechnik pp 344–348Cite as

Simulation Paralleler und Parallelisierter Prozesse

  • Conference paper

  • 243 Accesses

Part of the book series: Informatik — Fachberichte ((INFORMATIK,volume 85))

Zusammenfassung

Infonmationstheoretische Überlegungen führen zu neuen Ansätzen, Modelle zu bilden. Hierbei wird der räumlichen und/oder kontrollmäßigen VerteiItheit und der postulierten Informations-Erhaltung im System (und Modell) Rechnung getragen. Dies führt zu einer anderen Behandlung von parallelen Prozessen und (hoffentlich!) zu besseren Simulationsergebnissen. Es werden vergleichende Betrachtungen zwischen nebenläufigen Prozessen des täglichen Lebens und formalen Simulationsmodellen gezogen. Die Sprache der P-Ta-Netze (Puffer/Transaktor-Netze) wird als Modellierungssprache vorgetragen.

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   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.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.

Literatur

  1. E Best: Non-deterministic Interleaving and the Non-Transitivity of Concurrency in: NewsL.15, pp.11-15, SIG Petri Nets and Related Syst.Models, Gl Bonn, 1983

    Google Scholar 

  2. W Brauer (Ed.): Net Theory and Applications. Proc. Advanced Course on General Net Theory of Processes and Systems. (Hamburg,1979) 537 p. LNCS 84 Springer 1980

    Google Scholar 

  3. H Fuss: P-T-Netze zur Simulation von asynchronen Flüssen. in: Goos/Hartmanis (Eds.) GI-4.J-Tagung, pp.326-335. LNCS Vol.26, Springer (1975)

    Google Scholar 

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

    Google Scholar 

  5. H Fuss: Reversal Simulation with Place-Transactor-Nets in: H.Wedde (Ed.): Adequate Modeling of Systems. (Proceedings) pp.222-232, Springer (1983)

    Chapter  Google Scholar 

  6. H Fuss: Simulation of Distrib.Systems - A Competitive 3-Body Case Study, in: W.Ameling(Ed.): Proc. 1.Europ.Simul.Congr. Inf.Fa.Ber.71, pp.323-328:Springer 1983

    Google Scholar 

  7. H Fuss: Petri Net Languages for Automation of Distrib. Systems and Processes. in: IEEE Comp.Soc.Press(506), pp. 159 - 162. IEEE Silver Spring, USA (1983)

    Google Scholar 

  8. K Jensen: High Level Petri Nets, in: A Pagnoni/G Rozenberg (Eds.): Application and Theory of Petri Nets. Informat.Fach-Ber.66, pp.166-180. Springer (1983)

    Google Scholar 

  9. W Krelle, D Beckerhoff, H Langer, H Fuss: Ein Prognosesystem für die wirtschafte Entwicklung der BRD. 355 S. Verlag A.Hain, Meisenheim (1969) [No] J.D.Noe: Hierarchical Modelling with Pro-Nets. in: WH Tranter (Ed.): Proc. Nat.Electron.Conf., Vol.32, pp.155-160, Nat.Eng.Consort.Inc. Chicago, 1978

    Google Scholar 

  10. CA Petri: Modelling as a Communication Discipline. in: Beilner/Gelenbe(Eds): Measuring, Modelling and Evaluating Computer Systems, pp.435-449. N.Holl. 1977

    Google Scholar 

  11. CA Petri: Kommunikationsdisziplinen, in: CA Petri (Ed.): Ansätze zur Organisations Theorie Rechnergestützter Inf.Syst., pp.63-75 Ber. d. GMD 111. Oldenbourg 1979

    Google Scholar 

  12. CA Petri: Über einige Anwendungen der Netztheorie. GI-9.Jahrestagung. Informatik-Fach-Berichte No.19, pp.81-87 Springer (1979)

    Google Scholar 

  13. W.Reisig: Petrinetze. Eine Einführung. 158 S., 111 Abb., Springer (1982) [R/W] B.Rosenstengel/U.Winand: Petri-Netze, eine anwendungsorientierte Einführung. 269 S. Vieweg and Sohn (1982)

    Google Scholar 

  14. P Starke: Petri Netze. 184 S. VEB Deut.Verlag d.Wissenschaften Berlin 1980 [S/M] I.Suzuki/T.Murata: A Method of Stepwise Refinement and Abstraction of Petri Nets. J. Comput. and Syst.Sciences Vol.27(1) pp. 51 – 76. Acad.Press 1983

    Article  MathSciNet  Google Scholar 

  15. R Valk: Self-Modifying Nets, a Natural Extension of Petri Nets, in: Ausiello/ Böhm (Eds.) Automata, Languages and Progr., LNCS Vol.62, pp.464-476. Springer 1978

    Google Scholar 

  16. K Voss: Using Predicate/Transition-Nets to Model and Analyze Distrib. DataB. Systems. Transact. on Softw. Engin., Vol.Se-6, pp.539-544. IEEE 1980

    Article  Google Scholar 

  17. K Voss: Nets as a consistent formal tool for the stepwise design and verification of a distributed system. in: J.Hawgood (Ed.): Evolutionary Information Systems, pp. 173 – 191: North Holland Publ.Co., (1982)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. GMD-F1, Gesellschaft für Mathematik und Datenverarbeitung, 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. Institut für Technische Mathematik, Technische Universität Wien, Wiedner Hauptstraße 8-10, A-1040, Wien, Austria

    Felix Breitenecker

  2. Hybriddrechenzentrum, Technische Universität Wien, Gußhausstraße 27-29, A-1040, Wien, Austria

    Wolfgang Kleinbert

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fuss, H. (1984). Simulation Paralleler und Parallelisierter Prozesse. In: Breitenecker, F., Kleinbert, W. (eds) Simulationstechnik. Informatik — Fachberichte, vol 85. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69706-7_58

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-69706-7_58

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-642-69706-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation