High-level Petri Nets

Theory and Application

Editors: Jensen, Kurt, Rozenberg, Grzegorz (Eds.)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-642-84524-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-3-540-54125-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make it possible to obtain much more succinct and manageable de­ scriptions than can be obtained by means of low-level Petri nets-while, on the other hand, they still offer a wide range of analysis methods and tools. The step from low-level nets to high-level nets can be compared to the step from assembly languages to modem programming languages with an elaborated type concept. In low-level nets there is only one kind of token and this means that the state of a place is described by an integer (and in many cases even by a boolean value). In high-level nets each token can carry complex information which, e. g. , may describe the entire state of a process or a data base. Today most practical applications of Petri nets use one of the different kinds of high-level nets. A considerable body of knowledge exists about high-level Petri nets­ this includes theoretical foundations, analysis methods and many applications. Unfortunately, the papers on high-level Petri nets have been scattered throughout various journals and collections. As a result, much of this knowledge is not readily available to people who may be interested in using high-level nets.

Table of contents (28 chapters)

  • Predicate / Transition Nets

    Genrich, H. J.

    Pages 3-43

  • Coloured Petri Nets: A High Level Language for System Design and Analysis

    Jensen, K.

    Pages 44-119

  • Many-sorted High-level Nets

    Billington, J.

    Pages 123-136

  • Petri Nets and Algebraic Specifications

    Reisig, W.

    Pages 137-170

  • Types and Modules for Net Specifications

    Krämer, B. (et al.)

    Pages 171-188

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-642-84524-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-3-540-54125-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
High-level Petri Nets
Book Subtitle
Theory and Application
Editors
  • Kurt Jensen
  • Grzegorz Rozenberg
Copyright
1991
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-84524-6
DOI
10.1007/978-3-642-84524-6
Softcover ISBN
978-3-540-54125-7
Edition Number
1
Number of Pages
X, 724
Number of Illustrations and Tables
6 b/w illustrations
Topics