rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Augmented Marked Graphs
  name:
    name part: Cheung, King Sing.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2014
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XIV, 150 p. 82 illus. online resource.
  abstract: 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.
  table of contents: Introduction -- Petri Nets -- Augmented Marked Graphs -- Proper Augmented Marked Graphs -- Composition of Augmented Marked Graphs -- Modelling and Analysis -- Component-Based System Integration -- Manufacturing System Integration -- Conclusion -- App. A, Properties of Augmented Marked Graphs -- App. B, Algorithms for Checking the Properties of Augmented Marked Graphs -- Index References.
  note: by King Sing Cheung.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Computers
  subject:
    topic: Computer Science
  subject:
    topic: Theory of Computation
  subject:
    topic: Software Engineering/Programming and Operating Systems
  classification: QA75.5-76.95
  classification: 004.0151
  related item:
    title info:
      title: Springer eBooks
  identifier: 9783319064284
  identifier: http://dx.doi.org/10.1007/978-3-319-06428-4
  record info:
    record creation date: 140625
    record change date: 20151204191111.0
    record identifier: 978-3-319-06428-4