Coverart for item
The Resource Application and Theory of Petri Nets 1998 : 19th International Conference, ICATPN'98 Lisbon, Portugal, June 22-26, 1998 Proceedings, edited by Jörg Desel, Manuel Silva, (electronic resource)

Application and Theory of Petri Nets 1998 : 19th International Conference, ICATPN'98 Lisbon, Portugal, June 22-26, 1998 Proceedings, edited by Jörg Desel, Manuel Silva, (electronic resource)

Label
Application and Theory of Petri Nets 1998 : 19th International Conference, ICATPN'98 Lisbon, Portugal, June 22-26, 1998 Proceedings
Title
Application and Theory of Petri Nets 1998
Title remainder
19th International Conference, ICATPN'98 Lisbon, Portugal, June 22-26, 1998 Proceedings
Statement of responsibility
edited by Jörg Desel, Manuel Silva
Creator
Contributor
Subject
Language
eng
Summary
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
Member of
Is part of
http://library.link/vocab/creatorName
Desel, Jörg
Dewey number
004.0151
LC call number
QA75.5-76.95
http://library.link/vocab/relatedWorkOrContributorName
  • Silva, Manuel
  • SpringerLink (Online service)
Series statement
Lecture Notes in Computer Science,
Series volume
1420
http://library.link/vocab/subjectName
  • Computer science
  • Computer Communication Networks
  • Software engineering
  • Operating systems (Computers)
  • Information theory
  • Computer Science
  • Theory of Computation
  • Processor Architectures
  • Computer Communication Networks
  • Software Engineering
  • Operating Systems
Label
Application and Theory of Petri Nets 1998 : 19th International Conference, ICATPN'98 Lisbon, Portugal, June 22-26, 1998 Proceedings, edited by Jörg Desel, Manuel Silva, (electronic resource)
Instantiates
Publication
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
Control code
OCM1bookssj0000321318
Dimensions
unknown
Extent
X, 384 pages
Isbn
9783540691082
Other control number
10.1007/3-540-69108-1
Other physical details
online resource.
Specific material designation
remote
System control number
(WaSeSS)ssj0000321318
Label
Application and Theory of Petri Nets 1998 : 19th International Conference, ICATPN'98 Lisbon, Portugal, June 22-26, 1998 Proceedings, edited by Jörg Desel, Manuel Silva, (electronic resource)
Publication
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
Control code
OCM1bookssj0000321318
Dimensions
unknown
Extent
X, 384 pages
Isbn
9783540691082
Other control number
10.1007/3-540-69108-1
Other physical details
online resource.
Specific material designation
remote
System control number
(WaSeSS)ssj0000321318

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...