Augmented Marked Graphs

  • King Sing┬áCheung

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Basic Concepts

    1. Front Matter
      Pages 1-1
    2. King Sing Cheung
      Pages 3-8
    3. King Sing Cheung
      Pages 9-30
  3. Theory of Augmented Marked Graphs

    1. Front Matter
      Pages 31-31
    2. King Sing Cheung
      Pages 33-53
    3. King Sing Cheung
      Pages 55-66
    4. King Sing Cheung
      Pages 67-80
    5. King Sing Cheung
      Pages 81-92
  4. Application to System Integration

    1. Front Matter
      Pages 93-93
    2. King Sing Cheung
      Pages 95-113
    3. King Sing Cheung
      Pages 115-135
    4. King Sing Cheung
      Pages 137-139
  5. Back Matter
    Pages 141-150

About this book


Petri nets are a formal and theoretically rich model for the modelling and analysis of systems. A subclass of Petri nets, augmented marked graphs possess a structure that is especially desirable for the modelling and analysis of systems with concurrent processes and shared resources.

This monograph consists of three parts: Part I provides the conceptual background for readers who have no prior knowledge on Petri nets; Part II elaborates the theory of augmented marked graphs; finally, Part III discusses the application to system integration. The book is suitable as a first self-contained volume on augmented marked graphs, and will be useful to both researchers and practitioners in the fields of Petri nets and system integration.


Augmented marked graphs Concurrent processes Modelling and analysis Petri nets System integration

Authors and affiliations

  • King Sing┬áCheung
    • 1
  1. 1.Director of Information TechnologyThe Open University of Hong KongHong KongHong Kong SAR

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-06427-7
  • Online ISBN 978-3-319-06428-4
  • Buy this book on publisher's site