Skip to main content
SpringerLink
Log in

Advances in Petri Nets 1992

  • Conference proceedings
  • © 1992

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 609)

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 (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Esprit basic research action 3148 DEMON (Design methods based on nets) — Aims, scope and achievements —

    • Eike Best
    Pages 1-20

  3. The box calculus: A new causal algebra with multi-label communication

    • Eike Best, Raymond Devillers, Jon G. Hall
    Pages 21-69

  4. Modular functional modelling of petri nets with individual tokens

    • Manfred Broy, Thomas Streicher
    Pages 70-88

  5. Interleaving semantics and action refinement with atomic choice

    • Ingo Czaja, Rob J. van Glabbeek, Ursula Goltz
    Pages 89-107

  6. Maximality preservation and the ST-idea for action refinements

    • Raymond Devillers
    Pages 108-151

  7. A fifo-net model for processes with asynchronous communication

    • J. Fanchon
    Pages 152-178

  8. A basic-net algebra for program semantics and its application to occam

    • Richard Hopkins, Jon Hall, Oliver Botti
    Pages 179-214

  9. The effect of Vector synchronization: Residue and loss

    • N. W. Keesmaat, H. C. M. Kleijn
    Pages 215-250

  10. Modelling systems with dynamic priorities

    • Maciej Koutny
    Pages 251-266

  11. On distributed languages and models for concurrency

    • Brigitte Rozoy
    Pages 267-291

  12. Partial words versus processes: A short comparison

    • Walter Vogler
    Pages 292-303

  13. A survey of basic net models and modular net classes

    • Luca Bernardinello, Fiorella De Cindio
    Pages 304-351

  14. Structural techniques and performance bounds of stochastic Petri net models

    • Javier Campos, Manuel Silva
    Pages 352-391

  15. A survey of recognizable languages of infinite traces

    • Paul Gastin, Antoine Petit
    Pages 392-409

  16. A survey of equivalence notions for net based systems

    • L. Pomello, G. Rozenberg, C. Simone
    Pages 410-472

  17. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area. The ESPRIT Basic Research Action DEMON (DEsign Methods based On Nets) has been a focus of developments withinthe Petri net community for the last three years. The papers presented in this special volume have been selected from papers submitted by participants in DEMON. The papers have been refereed and appear in revised form. The volume contains technical contributions giving insights into a number of major achievements of the DEMON project. It also contains four survey papers covering important research areas. The volume begins witha description of DEMON given by its coordinator E. Best.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation