Skip to main content
SpringerLink
Log in
Book cover

Application and Theory of Petri Nets 1994

15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Robert Valette
    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 815)

Included in the following conference series:

Conference proceedings info: ICATPN 1994.

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

  1. Front Matter

    Download chapter PDF

  2. Automatic verification of finite-state concurrent systems

    • Edmund M. Clarke
    Pages 1-1

  3. The application of Petri nets to the modeling, analysis and control of intelligent urban traffic networks

    • Frank DiCesare, Paul T. Kulp, Michael Gile, George List
    Pages 2-15

  4. On the model of computation of place/transition Petri nets

    • José Meseguer, Ugo Montanari, Vladimiro Sassone
    Pages 16-38

  5. B-W analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation

    • Cosimo Anglano, Luigi Portinale
    Pages 39-58

  6. Probabilistic validation of a Remote Procedure Call protocol

    • N. Bennacer, G. Florin, C. Fraize, S. Natkin
    Pages 59-78

  7. Occurrence graphs for Interval Timed Coloured Nets

    • Gérard Berthelot, Hanifa Boucheneb, Usthb Alger
    Pages 79-98

  8. Implementation of weighted place/transition nets based on Linear Enabling Functions

    • J. L. Briz, J. M. Colom
    Pages 99-118

  9. Hierarchical High Level Petri Nets for complex system analysis

    • Peter Buchholz
    Pages 119-138

  10. Modeling symmetric computer architectures by SWNs

    • G. Chiola, G. Franceschinis, R. Gaeta
    Pages 139-158

  11. Coloured Petri Nets extended with channels for synchronous communication

    • Søren Christensen, Niels Damgaard Hansen
    Pages 159-178

  12. Petri nets with marking-dependent arc cardinality: Properties and analysis

    • Gianfranco Ciardo
    Pages 179-198

  13. New structural invariants for Petri nets analysis

    • J. M. Couvreur, E. Paviot-Adet
    Pages 199-218

  14. Time Stream Petri Nets a model for timed multimedia information

    • Michel Diaz, Patrick Sénac
    Pages 219-238

  15. A term representation of P/T systems

    • Cheryl Dietz, Gerlinde Schreiber
    Pages 239-257

  16. Superposed Generalized Stochastic Petri Nets: Definition and efficient solution

    • Susanna Donatelli
    Pages 258-277

  17. Verification of recipe-based control procedures by means of predicate/transition nets

    • Hartmann J. Genrich, Hans-Michael Hanisch, Konrad Wöllhaf
    Pages 278-297

  18. Towards comprehensive support for the dynamic analysis of Petri net based models

    • Rudolf K. Keller, Marianne Ozkan, Xijin Shen
    Pages 298-317

  19. Partial order semantics of Box expressions

    • Maciej Koutny
    Pages 318-337

  20. A general systematic approach to arc extensions for coloured Petri Nets

    • Charles Lakos, Søren Christensen
    Pages 338-357
Back to top

Keywords

About this book

This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 1994. The annual Petri net conferences are usually visited by some 150 - 200 Petri net experts coming from academia and industry all over the world.
The 28 full papers were selected out of in total 85 submissions from 18 countries. Together with the 3 invited contributions, these papers give a state-of-the-art report on all relevant aspects of Petri nets.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation