Skip to main content
SpringerLink
Log in
Book cover

Advances in Petri Nets 1987

  • Conference proceedings
  • © 1987

Overview

Editors:
  1. Grzegorz Rozenberg
    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 266)

Included in the following conference series:

Conference proceedings info: APN 1986.

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 54.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 (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Specification and properties of a cache coherence protocol model

    • C. Girault, C. Chatelain, S. Haddad
    Pages 1-20

  3. GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems

    • F. De Cindio, G. De Michelis, C. Simone
    Pages 21-44

  4. Recent results on the complexity of problems related to Petri nets

    • Rodney R. Howell, Louis E. Rosier
    Pages 45-72

  5. Algebraic structure of flows of a regular coloured net

    • Serge Haddad, Claude Girault
    Pages 73-88

  6. On equivalent execution semantics of concurrent systems

    • Ryszard Janicki, Maciej Koutny
    Pages 89-103

  7. Mathematical methods for calculating invariants in Petri nets

    • Fritz Krückeberg, Michael Jaxy
    Pages 104-131

  8. On Petri nets with deterministic and exponentially distributed firing times

    • M. Ajmone Marsan, G. Chiola
    Pages 132-145

  9. An accurate performance model of CSMA/CD bus LAN

    • M. Ajmone Marsan, G. Chiola, A. Fumagalli
    Pages 146-161

  10. Petri net models for the λ-calculus

    • Erik Meijer
    Pages 162-180

  11. Fair processes

    • Agathe Merceron
    Pages 181-195

  12. Operational Petri net semantics for CCSP

    • Ernst-Rüdiger Olderog
    Pages 196-223

  13. Infinitary languages of Petri nets and logical sentences

    • Elisabeth Pelz
    Pages 224-237

  14. A strong part of concurrency

    • Wolfgang Reisig
    Pages 238-272

  15. Concurrency and continuity

    • C. A. Petri, E. Smith
    Pages 273-292

  16. Parallel systems specifications with coloured Petri nets and algebraic specifications

    • Jacques Vautherin
    Pages 293-308

  17. Bibliography of Petri nets

    • Stefan Drees, Dominik Gomm, Helmut Plünnecke, Wolfgang Reisig, Rolf Walter
    Pages 309-451
Back to top

Keywords

About this book

The aim of these series of volumes "Advances in Petri Nets" is to present to the general computer science community the most significant recent results with regard to the development in the area. The main source of the papers are the annual European Workshops on Applications and Theory of Petri Nets"; the highest ranked papers from the past workshops are considered for the series, i.e., they are again reviewed and accordingly revised or extended. In addition to the workshop papers, the "Advances" also present invited papers. The present volume Advances in Petri Nets 1987 covers the 7th "European Workshop on Applications and Theory of Petri Nets" held in Oxford, Great Britain, in June 1986. It also contains a survey on complexity of problems related to Petri nets written by R.R. Howell and L.E. Rosier. A special feature of this volume is a bibliography on Petri nets, containing more than 2000 entries.

Bibliographic Information

  • Book Title: Advances in Petri Nets 1987

  • Editors: Grzegorz Rozenberg

  • Series Title: Lecture Notes in Computer Science

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1987

  • Softcover ISBN: 978-3-540-18086-9Published: 22 June 1987

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

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 456

  • Topics: Computer Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation