| 000 -LEADER |
|---|
| fixed length control field |
04554nam a22005775i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| ISBN |
9783540691082 |
| -- |
978-3-540-69108-2 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.0151 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Application and Theory of Petri Nets 1998 |
| Sub Title |
19th International Conference, ICATPN’98 Lisbon, Portugal, June 22–26, 1998 Proceedings / |
| Statement of responsibility, etc |
edited by Jörg Desel, Manuel Silva. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication |
Berlin, Heidelberg : |
| Name of publisher |
Springer Berlin Heidelberg, |
| Year of publication |
1998. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Number of Pages |
X, 384 p. |
| Other physical details |
online resource. |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer Communication Networks. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Operating systems (Computers). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Information theory. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Theory of Computation. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Processor Architectures. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer Communication Networks. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Operating Systems. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Desel, Jörg. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Silva, Manuel. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/3-540-69108-1 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
E-BOOKS |
| 264 #1 - |
|---|
| -- |
Berlin, Heidelberg : |
| -- |
Springer Berlin Heidelberg, |
| -- |
1998. |
| 336 ## - |
|---|
| -- |
text |
| -- |
txt |
| -- |
rdacontent |
| 337 ## - |
|---|
| -- |
computer |
| -- |
c |
| -- |
rdamedia |
| 338 ## - |
|---|
| -- |
online resource |
| -- |
cr |
| -- |
rdacarrier |
| 347 ## - |
|---|
| -- |
text file |
| -- |
PDF |
| -- |
rda |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| -- |
0302-9743 ; |
