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: Supervision of Petri Nets
  name:
    name part: Stremersch, Geert.
    role:
      role term: creator
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: mau
    date issued: 2001
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (xiv, 198 pages)
  abstract: Supervision of Petri Nets presents supervisory control theory for Petri nets with a legal set as the control goal. Petri nets model discrete event systems - dynamic systems whose evolution is completely determined by the occurrence of discrete events. Control laws, which guarantee that the system meets a set of specifications in the presence of uncontrollable and unobservable events, are studied and constructed, using application areas such as automated manufacturing and transportation systems. Supervision of Petri Nets introduces a new and mathematically sound approach to the subject. Existing results are unified by proposing a general mathematical language that makes extensive use of order theoretical ideas, and numerous new results are described, including ready-to-use algorithms that construct supervisory control laws for Petri nets. Supervision of Petri Nets is an excellent reference for researchers, and may also be used as a supplementary text for advanced courses on control theory.
  note: by Geert Stremersch.
  note: Electronic resource.
  subject:
    topic: Computer science
  subject:
    topic: Computational complexity
  subject:
    topic: System theory
  subject:
    topic: Mathematical optimization
  classification: QA76.9.M35
  classification: 004.0151
  related item:
    title info:
      title: Springer International Series on Discrete Event Dynamic Systems ; 13
  identifier: 9781461515371 (electronic bk.)
  identifier: 1461515378 (electronic bk.)
  identifier: 9781461356035
  identifier: 1461356032
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: AU@
    record creation date: 121227
    record change date: 20260422155844.7
    record identifier: in00003570584
    language of cataloging:
      language term: eng