Skip to main content
SpringerLink
Log in

Net Theory and Applications

Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979

  • Conference proceedings
  • © 1980

Overview

Editors:
  1. Wilfried Brauer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Access this book

Log in via an institution
Softcover Book USD 59.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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  2. Introduction to general net theory

    • C. A. Petri
    Pages 1-19

  3. Elements of general net theory

    • H. J. Genrich, K. Lautenbach, P. S. Thiagarajan
    Pages 21-163

  4. Formal properties of place/transition nets

    • M. Jantzen, R. Valk
    Pages 165-212

  5. Linear algebra in net theory

    • G. Memmi, G. Roucairol
    Pages 213-223

  6. Atomicity of activities

    • E. Best
    Pages 225-250

  7. Concurrency

    • C. A. Petri
    Pages 251-260

  8. The relative strength of K-density

    • E. Best
    Pages 261-276

  9. Reductions of nets and parallel programs

    • G. Berthelot, G. Roucairol, R. Valk
    Pages 277-290

  10. Adequacy of path programs

    • E. Best
    Pages 291-305

  11. Performance evaluation of systems using nets

    • J. Sifakis
    Pages 307-319

  12. Survey of French research and applications based on Petri nets

    • C. André, C. Girault, M. Diaz, J. Sifakis
    Pages 321-345

  13. Nets in modeling and simulation

    • Jerre D. Noe
    Pages 347-368

  14. Abstractions of net models

    • Jerre D. Noe
    Pages 369-388

  15. Applications of net-based models

    • Jerre D. Noe
    Pages 389-400

  16. The application of general net theory — A personal history

    • R. M. Shapiro
    Pages 401-440

  17. Petri-nets from the engineer's viewpoint lecture I

    • Konrad Zuse
    Pages 441-479

  18. Nets as a tool in teaching and in terminology work

    • Horst Oberquelle
    Pages 481-506

  19. Structured representation of knowledge by Petri nets as an aid for teaching and research

    • M. Jantzen
    Pages 507-517

  20. A dictionary of some basic notions of net theory

    • H. J. Genrich, E. Stankiewicz-Wiechno
    Pages 519-531
Back to top

Keywords

Bibliographic Information

  • Book Title: Net Theory and Applications

  • Book Subtitle: Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979

  • Editors: Wilfried Brauer

  • Series Title: Lecture Notes in Computer Science

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1980

  • Softcover ISBN: 978-3-540-10001-0Published: 01 June 1980

  • eBook ISBN: 978-3-540-39322-1Published: 06 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVI, 540

  • Topics: Software Engineering, Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation