Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1987

Advances in Petri Nets 1987

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)

Conference series link(s): APN: International Conference on Applications and Theory in Petri Nets

Conference proceedings info: APN 1986.

Sections

Buy it now

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

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

Table of contents (16 papers)

  1. Front Matter

    PDF

  2. Specification and properties of a cache coherence protocol model

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

  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

  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

  14. A strong part of concurrency

    • Wolfgang Reisig
    Pages 238-272

  15. Concurrency and continuity

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

  17. Bibliography of Petri nets

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

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.
Back to top

Keywords

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation