Skip to main content
Springer Nature Link
Log in

Advances in Petri Nets 1991

  • Conference proceedings
  • © 1991

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

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 109.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

About this book

The main 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 of the area. Thepapers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1991 covers the 11th International Conference on Applications and Theory of Petri Nets held in Paris, France in June 1991. The volume contains the Bibliography of Petri Nets 1990 prepared by H. Pl}nnecke and W. Reisig, with over 4000 entries.

Keywords

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Delays in synchronized elementary net systems

    • Charles Andre
    Pages 1-28

  3. Proving temporal properties of Petri nets

    • J. C. Bradfield
    Pages 29-47

  4. The complexity of testing the equivalence of transition sequences

    • Heino Carstensen
    Pages 48-57

  5. Use of reentrant nets in modular analysis of colored nets

    • Ghassan Chehaibar
    Pages 58-77

  6. On abstractions of nets

    • Jörg Desel
    Pages 78-92

  7. Semantics, composition and net properties of algebraic high-level nets

    • Cristian Dimitrovici, Udo Hummert, Laure Petrucci
    Pages 93-117

  8. Top-down synthesis of live and bounded free choice nets

    • Javier Esparza, Manuel Silva
    Pages 118-139

  9. Hood nets

    • Raffaele Di Giovanni
    Pages 140-160

  10. Distributable nets

    • R. P. Hopkins
    Pages 161-187

  11. Computer supported design of kanban controlled production

    • F. Itter, C. Relewicz
    Pages 188-204

  12. Optimal simulations, nets and reachability graphs

    • Ryszard Janicki, Maciej Koutny
    Pages 205-226

  13. An integrated software development methodology based on hierarchical colored Petri nets

    • Valerio O. Pinci, Robert M. Shapiro
    Pages 227-252

  14. On net systems generated by process foldings

    • Einar Smith
    Pages 253-276

  15. On liveness preservation by composition of nets via a set of places

    • Younes Souissi
    Pages 277-295

  16. Software implementation of petri nets and compilation of rule-based systems

    • Robert Valette, Babou Bako
    Pages 296-316

  17. Bibliography of Petri nets 1990

    • Helmut Plünnecke, Wolfgang Reisig
    Pages 317-572

  18. Back Matter

    Download chapter PDF
Back to top

Bibliographic Information

Publish with us

Policies and ethics

Back to top