Lecture Notes in Computer Science

Advances in Petri Nets 1991

Editors: Rozenberg, Grzegorz (Ed.)

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-47600-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
  • ISBN 978-3-540-54398-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (16 chapters)

  • Delays in synchronized elementary net systems

    Andre, Charles

    Pages 1-28

  • Proving temporal properties of Petri nets

    Bradfield, J. C.

    Pages 29-47

  • The complexity of testing the equivalence of transition sequences

    Carstensen, Heino

    Pages 48-57

  • Use of reentrant nets in modular analysis of colored nets

    Chehaibar, Ghassan

    Pages 58-77

  • On abstractions of nets

    Desel, Jörg

    Pages 78-92

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-47600-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
  • ISBN 978-3-540-54398-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Advances in Petri Nets 1991
Editors
  • Grzegorz Rozenberg
Series Title
Lecture Notes in Computer Science
Series Volume
524
Copyright
1991
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47600-9
DOI
10.1007/BFb0019965
Softcover ISBN
978-3-540-54398-5
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 576
Topics