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: Advances in Petri nets, 1987
  name:
    name part: Rozenberg, Grzegorz.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Conference proceedings.
  origin info:
    place:
      place term: gw
    date issued: 1987
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: preservation
    reformatting quality: access
    form: remote
    extent: 1 online resource (vi, 451 pages) : illustrations.
  abstract: The aim of these series of volumes "Advances in Petri Nets" is to present to the general computer science community the most significant recent results with regard to the development in the area. The main source of the papers are the annual European Workshops on Applications and Theory of Petri Nets"; the highest ranked papers from the past workshops are considered for the series, i.e., they are again reviewed and accordingly revised or extended. In addition to the workshop papers, the "Advances" also present invited papers. The present volume Advances in Petri Nets 1987 covers the 7th "European Workshop on Applications and Theory of Petri Nets" held in Oxford, Great Britain, in June 1986. It also contains a survey on complexity of problems related to Petri nets written by R.R. Howell and L.E. Rosier. A special feature of this volume is a bibliography on Petri nets, containing more than 2000 entries.
  table of contents: C. Girault, C. Chatelain, S. Haddad: Specification and properties of a cache coherence protocol model -- F. De Cindio, G. De Michelis, C. Simone: GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems -- R.R. Howell, L.E. Rosier: Recent results on the complexity of problems related to Petri nets -- S. Haddad, C. Girault: Algebraic structure of flows of a regular coloured net -- R. Janicki, M. Koutny: On equivalent execution semantics of concurrent systems -- F. Krckeberg, M. Jaxy: Mathematical methods for calculating invariants in Petri nets -- M. Ajmone Marsan, G. Chiola: On Petri nets with deterministic and exponentially distributed firing times -- M. Ajmone Marsan, G. Chiola, A. Fumagalli: An accurate performance model of CSMA/CD bus LAN -- E. Meijer: Petri net models for the -calculus -- A. Merceron: Fair processes -- E.-R. Olderog: Operational Petri net semantics for CCSP -- E. Pelz: Infinitary languages of Petri nets and logical sentences -- W. Reisig: A strong part of concurrency -- C.A. Petri, E. Smith: Concurrency and continuity -- J. Vautherin: Parallel systems specifications with coloured Petri nets and algebraic specifications -- S. Drees, D. Gomm, H. Plnnecke, W. Reisig, R. Walter: Bibliography of Petri nets.
  note: Grzegorz Rozenberg, ed.
  note: Electronic resource.
  note: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
  note: digitized 2011 HathiTrust Digital Library committed to preserve pda MiAaHDL
  note: Includes bibliographical references (pages 309-451).
  subject:
    topic: Petri nets
    genre: Congresses
  subject:
    topic: Machine theory
    genre: Congresses
  subject:
    topic: bibliographie
  subject:
    topic: concurrence
  subject:
    topic: réseau Petri
  subject:
    topic: Pétri, Réseaux de
    genre: Congrès
  subject:
    topic: Automates mathématiques, Théorie des
    genre: Congrès
  subject:
    topic: Machine theory
  subject:
    topic: Petri nets
  subject:
    topic: Petri netwerken
  subject:
    topic: Petri, Réseaux de
    topic: Congrès et conférences
  classification: QA267 .A344 1987
  classification: 511
  classification: 54.10
  classification: *00Bxx
  classification: 31.80
  classification: 68-06
  related item:
    identifier: (DLC) 87177760
    identifier: (OCoLC)16635160
  related item:
    title info:
      title: Lecture notes in computer science ; 266
  identifier: 9783540477433 (electronic bk.)
  identifier: 3540477438 (electronic bk.)
  identifier: 0387180869 (pbk.)
  identifier: 9780387180861 (pbk.)
  identifier: 3540180869
  identifier: 9783540180869
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: OCLCE
    record creation date: 120925
    record change date: 20260420215956.9
    record identifier: in00003551322
    language of cataloging:
      language term: eng