Skip to main content
SpringerLink
Log in

Advances in Petri Nets 1984

  • Conference proceedings
  • © 1985

Overview

Editors:
  1. G. 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 188)

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 69.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 (25 papers)

  1. Front Matter

    Download chapter PDF

  2. PSI: A petri net based simulator for flexible manufacturing systems

    • P. Alanche, K. Benzakour, F. Dollé, P. Gillet, P. Rodrigues, R. Valette
    Pages 1-14

  3. Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system

    • H. Alla, P. Ladet, J. Martinez, M. Silva-Suarez
    Pages 15-31

  4. Concurrency axioms and D-continuous posets

    • Eike Best, Agathe Merceron
    Pages 32-47

  5. Frozen tokens and D-continuity: A study in relating system properties to process properties

    • Eike Best, Agathe Merceron
    Pages 48-61

  6. Modelling scheduling problems with timed petri nets

    • J. Carlier, Ph. Chretienne, C. Girault
    Pages 62-82

  7. Infinite behaviour and fairness in petri nets

    • Heino Carstensen, Rüdiger Valk
    Pages 83-100

  8. Petri net based models for the specification and validation of protocols

    • Michel Diaz, Pierre Azema
    Pages 101-121

  9. A note on observable occurrence nets

    • C. Fernandez, M. Nielsen, P. S. Thiagarajan
    Pages 122-138

  10. A lattice theoretic view of K-density

    • C. Fernández, P. S. Thiagarajan
    Pages 139-153

  11. Fair serializability of iterated transactions using fifo-nets

    • M. P. Flé, G. Roucairol
    Pages 154-168

  12. Csp-programs as nets with individual tokens

    • Ursula Goltz, Wolfgang Reisig
    Pages 169-196

  13. Design and programming of interfaces for monetic applications using petri nets

    • Theodor Hildebrand
    Pages 197-214

  14. Towards reachability trees for high-level petri nets

    • Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen
    Pages 215-233

  15. The residue of vector sets with applications to decidability problems in petri nets

    • Rüdiger Valk, Matthias Jantzen
    Pages 234-258

  16. The design of a program package for an introductory petri net course

    • Kurt Jensen
    Pages 259-266

  17. On communication protocol modelling and design

    • G. Juanole, B. Algayres, J. Dufau
    Pages 267-287

  18. On structural properties of generalized processes

    • V. E. Kotov, L. A. Cherkasova
    Pages 288-306

  19. Stepwise construction of non-sequential software systems using a net-based specification language

    • Bernd Krämer
    Pages 307-330

  20. Liveness and duality in marked-graph-like predicate/transition nets

    • Kurt Lautenbach, Anastasia Pagnoni
    Pages 331-352
Back to top

Keywords

Bibliographic Information

  • Book Title: Advances in Petri Nets 1984

  • Editors: G. Rozenberg

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-15204-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1985

  • Softcover ISBN: 978-3-540-15204-0Published: 01 March 1985

  • eBook ISBN: 978-3-540-39320-7Published: 06 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 472

  • Topics: Software Engineering, Computer Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation