000 | 04791nam a22006255i 4500 | ||
---|---|---|---|
001 | 978-3-540-69108-2 | ||
003 | DE-He213 | ||
005 | 20240423132519.0 | ||
007 | cr nn 008mamaa | ||
008 | 140516s1998 gw | s |||| 0|eng d | ||
020 |
_a9783540691082 _9978-3-540-69108-2 |
||
024 | 7 |
_a10.1007/3-540-69108-1 _2doi |
|
050 | 4 | _aQA75.5-76.95 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aCOM014000 _2bisacsh |
|
072 | 7 |
_aUYA _2thema |
|
082 | 0 | 4 |
_a004.0151 _223 |
245 | 1 | 0 |
_aApplication and Theory of Petri Nets 1998 _h[electronic resource] : _b19th International Conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998 Proceedings / _cedited by Jörg Desel, Manuel Silva. |
250 | _a1st ed. 1998. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c1998. |
|
300 |
_aX, 384 p. 18 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v1420 |
|
505 | 0 | _aInvited 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 | _aThis 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 | _aComputer science. | |
650 | 0 | _aMicroprocessors. | |
650 | 0 | _aComputer architecture. | |
650 | 0 | _aComputer networks . | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aOperating systems (Computers). | |
650 | 1 | 4 | _aTheory of Computation. |
650 | 2 | 4 | _aProcessor Architectures. |
650 | 2 | 4 | _aComputer Communication Networks. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aOperating Systems. |
700 | 1 |
_aDesel, Jörg. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aSilva, Manuel. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783540646778 |
776 | 0 | 8 |
_iPrinted edition: _z9783662206492 |
830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v1420 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/3-540-69108-1 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
912 | _aZDB-2-BAE | ||
942 | _cSPRINGER | ||
999 |
_c188585 _d188585 |