http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Application and theory of petri nets 1998
19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998 : proceedings
International Conference on Applications and Theory of Petri Nets 1998 : Lisbon, Portugal)
viii, 384 pages : illustrations ; 24 cm.
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.
Includes bibliographical references and index.