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: Application and theory of petri nets 1998
    sub title: 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998 : proceedings
  title info:
    title: ICATPN '98
  name:
    name part: International Conference on Applications and Theory of Petri Nets 1998 : Lisbon, Portugal)
    role:
      role term: creator
  name:
    name part: Desel, Jörg.
  name:
    name part: Silva, Manuel.
  type of resource: text
  genre: bibliography
  genre: conference publication
  origin info:
    place:
      place term: gw
    date issued: 1998
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: viii, 384 pages : illustrations ; 24 cm.
  table of contents: Petri nets as token objects : an introduction to elementary object nets / R. Valk -- Synchronized products of transition systems and their analysis / A. Arnold -- Manual and automatic exploitation of symmetries in SPN models / G. Chiola -- Dimensioning handover buffers in wireless ATM networks with GSPN models / M. Ajmone Marsan, C.-F. Chiasserini and A. Fumagalli -- A class of well structured petri nets for flexible manufacturing systems / J. Ezpeleta, F. García-Vallés and J.M. Colom -- Modelling and model checking of distributed shared memory consistency protocol / K. Fisler and C. Girault --Finding stubborn sets of coloured petri nets without unfolding / L.M. Kristensen and A. Valmari -- On stubborn sets in the verification of linear time temporal properties / K. Varpaaniemi -- A compositional petri net semantics for SDL / H. Fleishhack and B. Grahlmann -- An axiomatisation of duplication equivalence in the petri box calculus /M. Hesketh and M. Koutny -- Efficiency of token-passing MUTEX-solutins : some experiments / E. Bihler and W. Vogler -- Thinking in cycles / M.-O. Stehr -- Iterative decomposition and aggregation of labeled GSPNs / P. Buccholz -- On the use of structural petri net analysis for studying product form equilibrium distributions of queueing networks with blocking / M. Gribaudo and M. Sreno -- Deadlock detection in the face of transaction and data dependencies / E. Bertino, G. Chiola and L.V. Mancini -- Petri net based certification of event-driven process chains / P. Langner, Chr. Schneidr and J. Wehler -- M-net calculus based semantics for triggers / V. Benzaken ... [et al.] -- SWN analysis and simulation of large knockout ATM switches / R. Gaeta and M. Ajmone Marsan -- Flexibility in algebraic nets / E. Kndler and H. Völzer -- ESTL : a temporal logic for events and states / E. Kndler and T. Vesper.
  note: Jörg Desel, Manuel Silva (eds.).
  note: Includes bibliographical references and index.
  subject:
    topic: Petri nets
    genre: Congresses
  related item:
    title info:
      title: Lecture notes in computer science. 1420
  identifier: 3540646779
  record info:
    record content source: FVM
    record creation date: 980629
    record change date: 20151020172400.0
    record identifier: in00001449802
    language of cataloging:
      language term: FVM