Skip to main content
SpringerLink
Log in

Reversal Simulation with Place-Transactor-Nets

  • Conference paper
Adequate Modeling of Systems

Abstract

A distributed simulation methodology is presented on the basis of a special class of Petri Nets (P-Ta-Nets). Examples taken from Problem Study 3 show how a partial (or local) reorganization of a real system and its simulation can be arranged. A special reversion technique admits both time reversal simulation and (local) changes of meaning, of influences, and/or of parameters. All topics from the questionnaire will be discussed, some in great detail.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    Google Scholar 

  2. C.Fernandez: Net Topology. Internal Report ISF-76-3; GMD (1976)

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  5. H.Fuss: Abbildungen zwischen Puffer-Transaktor-Netzen und einfacheren Netzen. Techn.Report ISF; GMD (1981)

    Google Scholar 

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

    Google Scholar 

  7. K.Jensen: A Method to Compare the Descriptive Power of Different Types of Petri Nets. Proc.MFCS•80, LNCS Vol.88, pp.348–361; Springer (1980)

    Google Scholar 

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

    Article  Google Scholar 

  9. J.D.Noe: Hi erarchi cai Mode ling with Pro-Net s. in: W.H.Tranter (Ed.) Proc. Nat.Electron.Conf. Vol.32, pp.155–160; Nat.Engineer.Consort.Ine. (1978)

    Google Scholar 

  10. H.Oberquelle: Nets as a Tool in Teaching & Terminology Work. in: W.Brauer (Ed.) Net Th. & Appi., LNCS Vol.84, pp.481–506; Springer (1980)

    Google Scholar 

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

    Google Scholar 

  12. 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 

  13. C.A.Petri: Kommunikationsdisziplinen. in: C.A.Petri (Ed.) Ansätze zur Organi sations-Theorie Rechnergestützter Informationssysteme, Bericht.d.GMD No.111, pp.63–75; Oldenbourg (1979)

    Google Scholar 

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

    Google Scholar 

  15. G.Thielei-Mevissen: Netztheoret. Überlegungen zu einer Gesetzgebungstheorie, in: Gesetzgebungstheorie, Juristische Logik, Zivil- und Prozeßrecht. Gedächtnisschrift für Jürgen Rödig, pp.43–49; Springer (1978)

    Google Scholar 

  16. Gerda Thieler-Mevissen: The Petri Net Calculus of Predicate Logic. Internal Report ISF-76-9, 2nd revised Ed. GMD (1977)

    Google Scholar 

  17. R.Valk: Self-Modifying Nets, a Natural Extension of Petri Nets. in: Aus i e 11 o/B ohm (Eds.) LNCS Vol.62, pp.464–476; Springer (1978)

    Google Scholar 

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

    Google Scholar 

  19. H.Wedde: Lose Kopplung von System-Komponenten. Ber.d.GMD No.96; GMD (1975)

    Google Scholar 

  20. 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)

    Google Scholar 

  21. E.Pless/H.Plunnecke: A Bibliography of Net Theory. Internal Report ISF-80-05, 2nd Edition; GMD (1980)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Inst.f.Inform.Syst.Forschung, Gesellsch.f.Mathem.&.D.V. (GMD-ISF), Bonn, St.Augustin 1, Schloss Birlinghoven, P.O.Box 1240, D - 5205, 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. Gesellschaft für Mathematik und Datenverarbeitung, P.O. Box 1240, 5205, St. Augustin 1, Fed. Rep. of Germany

    Horst Wedde

Rights and permissions

Reprints and permissions

Copyright information

© 1983 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fuss, H. (1983). Reversal Simulation with Place-Transactor-Nets. In: Wedde, H. (eds) Adequate Modeling of Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69208-6_34

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-69208-6_34

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation