Skip to main content
SpringerLink
Log in

Advances in Petri Nets 1988

  • Conference proceedings
  • © 1988

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

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

  1. Front Matter

    Download chapter PDF

  2. An environment for object-oriented conceptual programming based on PROT nets

    • Marco Baldassari, Giorgio Bruno
    Pages 1-19

  3. OBJSA Nets: a class of high-level nets having objects as domains

    • E. Battiston, F. De Cindio, G. Mauri
    Pages 20-43

  4. On internal and external characterisations of PT-net building block behaviour

    • Bernd Baumgarten
    Pages 44-61

  5. Timed Petri Net schedules

    • J. Carlier, P. Chretienne
    Pages 62-84

  6. An exercise in concurrency: A CSP process as a condition/event system

    • Pierpaolo Degano, Roberto Gorrieri, Sergio Marchetti
    Pages 85-105

  7. A survey on the decidability questions for classes of fifo nets

    • A. Finkel, L. Rosier
    Pages 106-132

  8. The construction of EN systems from a given trace behaviour

    • Peter Graubmann
    Pages 133-153

  9. Programming a closely coupled multiprocessor system with high level petri nets

    • Georg Hartung
    Pages 154-174

  10. Music description and processing by Petri Nets

    • Goffredo Haus, Antonio Rodriguez
    Pages 175-199

  11. On questions of fairness and temporal logic for conflict-free Petri nets

    • Rodney R. Howell, Louis E. Rosier
    Pages 200-226

  12. Infinitary partial Petri net languages and their relationship to other Petri net semantics

    • Astrid Kiehn
    Pages 227-248

  13. Net representation of sentences in natural languages

    • Violetta Koseska-Toszewa, Antoni Mazurkiewicz
    Pages 249-265

  14. Some consequences of the decidability of the reachability problem for Petri nets

    • J. L. Lambert
    Pages 266-282

  15. Experiences in the use of galileo to design telecommunication systems

    • Ignacio Lopez, M. Carmen Pelaez
    Pages 283-306

  16. Compositional semantics of pure place/transition systems

    • Antoni Mazurkiewicz
    Pages 307-330

  17. Occurrence traces

    • Edward OchmaÅ„ski
    Pages 331-342

  18. Performance evaluation of interpreted bipolar synchronization schemes using G.E.R.T.

    • D. Quichaud, P. Chretienne
    Pages 343-370

  19. On the generation of organizational architectures using Petri Nets

    • Pascal A. Remy, Alexander H. Levis
    Pages 371-385

  20. On the computation of structural synchronic invariants in P/T nets

    • M. Silva, J. M. Colom
    Pages 386-417
Back to top

Keywords

About this book

The idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development in this area. The main source for the papers for "Advances" are the annual "European Workshops on Applications and Theory of Petri Nets"; the "best" papers from the latest workshops are considered for the series, i.e. they are reviewed again and revised or extended accordingly. In addition to the workshop papers, the "Advances" also present invited papers submitted directly for publication. The present volume Advances in Petri Nets 1988 covers the 8th "European Workshop on Applications and Theory of Petri Nets" held in Zaragoza, Spain in June 1987. It also contains a survey on decidability questions for classes of FIFO nets by A. Finkel and L.E. Rosier.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation