Skip to main content
SpringerLink
Log in

Advances in Petri Nets 1985

  • Conference proceedings
  • © 1986

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

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

  1. Front Matter

    Download chapter PDF

  2. The signing of a contract — a tree-structured application modelled with petri net building blocks

    • B. Baumgarten, H. J. Burkhardt, P. Ochsenschläger, R. Prinoth
    Pages 1-18

  3. Checking properties of nets using transformations

    • G. Berthelot, Lri-Iie
    Pages 19-40

  4. Petri nets and algebraic calculi of processes

    • Gérard Boudol, Gérard Roucairol, Robert de Simone
    Pages 41-58

  5. Fair controls and their realization

    • Hans-Dieter Burkhard
    Pages 59-82

  6. Beta processes of C/E systems

    • Luco A. Castellano
    Pages 83-100

  7. Synchronic distances in C/E systems

    • Yuan Chong-Yi
    Pages 101-121

  8. Process periods and system reconstruction

    • Yuan Chong-Yi
    Pages 122-141

  9. Guidelines on using net analysis techniques with large specifications

    • G. Comparin, G.A Lanzarone, K Lautenbach, A. Pagnoni, W. Panzeri, A. Torgano
    Pages 142-161

  10. Application of an extension of petri nets to modelization of control and production processes

    • D. Corbeel, J. C. Gentina, C. Vercauter
    Pages 162-180

  11. Making nets abstract and structured

    • Ludwik Czaja
    Pages 181-202

  12. Petri net tools

    • Frits Feldbrugge
    Pages 203-223

  13. Projections of CE-systems

    • Hartmann J. Genrich
    Pages 224-232

  14. Synchronic structure

    • Ursula Goltz, Yuan Chong-Yi
    Pages 233-252

  15. Safe states in Banker like resource allocation Problems

    • Dirk Hauschildt, Rüdiger Valk
    Pages 253-277

  16. Coordination technology and Petri nets

    • Anatol W. Holt
    Pages 278-296

  17. Pascal semantics by a combination of denotational semantics and high-level petri nets

    • Kurt Jensen, Erik Meineche Schmidt
    Pages 297-329

  18. On the invariants of coloured Petri Nets

    • Y. Narahari, N. Viswanadham
    Pages 330-345

  19. A logical formalism for the study of the finite behaviour of Petri nets

    • Michel Parigot, Elisabeth Pelz
    Pages 346-361

  20. Determination of a poset by its co-relation

    • Helmut Plünnecke
    Pages 362-380
Back to top

Keywords

Bibliographic Information

  • Book Title: Advances in Petri Nets 1985

  • Editors: G. Rozenberg

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0016202

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1986

  • Softcover ISBN: 978-3-540-16480-7Published: 01 May 1986

  • eBook ISBN: 978-3-540-39822-6Published: 13 November 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 500

  • Topics: Computer Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation