Application and theory of Petri nets 1998 : 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 : proceedings
Author(s)
Bibliographic Information
Application and theory of Petri nets 1998 : 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 : proceedings
(Lecture notes in computer science, 1420)
Springer, c1998
Available at 46 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Includes bibliographical references and index
Description and Table of Contents
Description
This volume contains the proceedings of the 19th annual International Conference on Application and Theory of Petri Nets. The aim of the Petri net conference is to create a forum for the dissemination of the latest results in the application and theory of Petri nets. It always takes place in the last week of June. Typically there are 150 - 200 participants. About one third of these come from industry while the rest are from universities and research institutions. The conferences and a number of other activities are coordinated by a steering committee with the following members: G. Balbo (Italy), J. Billington (Australia), G. DeMichelis(Italy),C. Girault(France),K. Jensen (Denmark), S. Kumagai (Japan), T. Murata (USA), C. A. Petri (Germany; honorary member), W. Reisig (Germany), G. Roucairol (France), G. Rozenberg (The Netherlands; chairman), M. Silva (Spain). The 19th conference has been organized for the rst time in Portugal, by the Department of Electrical Engineering of the Faculty of Sciences and Technology of the New University of Lisbon, together with the Center for Intelligent Robotics of UNINOVA. It takes place in Lisbon at the same time as EXPO'98, the last world exhibition of the 20th century.
Table of Contents
Invited Papers.- Petri Nets as Token Objects.- Synchronized Products of Transition Systems and Their Analysis.- Manual and Automatic Exploitation of Symmetries in SPN Models.- Full Papers.- Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models.- A Class of Well Structured Petri Nets for Flexible Manufacturing Systems.- Modelling and Model Checking a Distributed Shared Memory Consistency Protocol.- Finding Stubborn Sets of Coloured Petri Nets without Unfolding.- On Stubborn Sets in the Verification of Linear Time Temporal Properties.- A Compositional Petri Net Semantics for SDL.- An Axiomatisation of Duplication Equivalence in the Petri Box Calculus.- Efficiency of Token-Passing MUTEX-Solutions - Some Experiments.- Thinking in Cycles.- Iterative Decomposition and Aggregation of Labeled GSPNs.- On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking.- Deadlock Detection in the Face of Transaction and Data Dependencies.- Petri Net Based Certification of Event-Driven Process Chains.- M-net Calculus Based Semantics for Triggers.- SWN Analysis and Simulation of Large Knockout ATM Switches.- Flexibility in Algebraic Nets.- ESTL: A Temporal Logic for Events and States.
by "Nielsen BookData"