Augmented Marked Graphs [electronic resource]

• Tác giả: King Sing Cheung
• ISBN-13: 978-3319064284
• Ký hiệu phân loại: 004.0151 Data processing || Computer science
• Thông tin xuất bản: Cham : Springer International Publishing : Imprint: Springer, 2014.
• Mô tả vật lý: XIV, 150 p. 82 illus. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 325900
• Chủ đề: 1. Computer science; 2. Software engineering; 3. Theory of Computation; 4. Software Engineering

Tóm tắt

 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.