Skip to main content
  • Conference proceedings
  • © 1994

Application and Theory of Petri Nets 1994

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

Editors:

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 815)

Conference series link(s): ICATPN: International Conference on Application and Theory of Petri Nets

Conference proceedings info: ICATPN 1994.

Buying options

eBook USD 89.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-48462-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 119.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (31 papers)

  1. Front Matter

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

    • José Meseguer, Ugo Montanari, Vladimiro Sassone
    Pages 16-38
  3. Probabilistic validation of a Remote Procedure Call protocol

    • N. Bennacer, G. Florin, C. Fraize, S. Natkin
    Pages 59-78
  4. Occurrence graphs for Interval Timed Coloured Nets

    • Gérard Berthelot, Hanifa Boucheneb, Usthb Alger
    Pages 79-98
  5. Modeling symmetric computer architectures by SWNs

    • G. Chiola, G. Franceschinis, R. Gaeta
    Pages 139-158
  6. Coloured Petri Nets extended with channels for synchronous communication

    • Søren Christensen, Niels Damgaard Hansen
    Pages 159-178
  7. New structural invariants for Petri nets analysis

    • J. M. Couvreur, E. Paviot-Adet
    Pages 199-218
  8. Time Stream Petri Nets a model for timed multimedia information

    • Michel Diaz, Patrick Sénac
    Pages 219-238
  9. A term representation of P/T systems

    • Cheryl Dietz, Gerlinde Schreiber
    Pages 239-257
  10. Verification of recipe-based control procedures by means of predicate/transition nets

    • Hartmann J. Genrich, Hans-Michael Hanisch, Konrad Wöllhaf
    Pages 278-297
  11. Towards comprehensive support for the dynamic analysis of Petri net based models

    • Rudolf K. Keller, Marianne Ozkan, Xijin Shen
    Pages 298-317
  12. Partial order semantics of Box expressions

    • Maciej Koutny
    Pages 318-337
  13. A general systematic approach to arc extensions for coloured Petri Nets

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

Other Volumes

  1. Application and Theory of Petri Nets 1994

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

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.

Keywords

  • algorithms
  • artificial intelligence
  • complex systems
  • computer
  • control
  • hardware
  • management
  • modelling
  • multimedia
  • networks
  • petri net
  • semantics
  • simulation
  • time
  • verification
  • algorithm analysis and problem complexity

Bibliographic Information

Buying options

eBook USD 89.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-48462-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 119.00
Price excludes VAT (USA)