دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Rüdiger Valk (auth.), Jörg Desel, Manuel Silva (eds.) سری: Lecture Notes in Computer Science 1420 ISBN (شابک) : 9783540646778, 9783540691082 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1998 تعداد صفحات: 393 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب کاربرد و تئوری پتری نت نت 1998: نوزدهمین کنفرانس بین المللی ، 98 لیستی از لیستی از ایزاتاس ، ICATPN ، لیسبون ، پرتغال ، مجموعه مقالات: تئوری محاسبات، معماری پردازنده، شبکه های ارتباطی کامپیوتری، مهندسی نرم افزار، سیستم های عامل
در صورت تبدیل فایل کتاب Application and Theory of Petri Nets 1998: 19th International Conference, ICATPN’98 Lisbon, Portugal, June 22–26, 1998 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کاربرد و تئوری پتری نت نت 1998: نوزدهمین کنفرانس بین المللی ، 98 لیستی از لیستی از ایزاتاس ، ICATPN ، لیسبون ، پرتغال ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد شامل مجموعه مقالات نوزدهمین کنفرانس بینالمللی سالانه کاربرد و نظریه شبکههای پتری است. هدف از کنفرانس پتری نت ایجاد یک انجمن برای انتشار آخرین نتایج در کاربرد و تئوری شبکه های پتری است. همیشه در آخرین هفته ژوئن برگزار می شود. به طور معمول 150 تا 200 شرکت کننده وجود دارد. حدود یک سوم آنها از صنعت و بقیه از دانشگاه ها و موسسات تحقیقاتی هستند. کنفرانس ها و تعدادی از فعالیت های دیگر توسط یک کمیته راهبری با اعضای زیر هماهنگ می شود: G. Balbo (ایتالیا)، J. Billington (استرالیا)، G. DeMichelis (ایتالیا)، C. Girault (فرانسه)، K. جنسن (دانمارک)، اس. کوماگای (ژاپن)، تی موراتا (ایالات متحده آمریکا)، سی. آ. پتری (آلمان؛ عضو افتخاری)، دبلیو ریسیگ (آلمان)، جی. روکایرول (فرانسه)، جی. روزنبرگ (هلند؛ رئیس هیئت مدیره) ), M. Silva (اسپانیا). نوزدهمین کنفرانس برای اولین بار در پرتغال توسط گروه مهندسی برق دانشکده علوم و فناوری دانشگاه نیو لیسبون به همراه مرکز رباتیک هوشمند UNINOVA برگزار شده است. این نمایشگاه همزمان با EXPO'98، آخرین نمایشگاه جهانی قرن بیستم، در لیسبون برگزار می شود.
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.
Petri Nets as Token Objects....Pages 1-24
Synchronized Products of Transition Systems and Their Analysis....Pages 26-27
Manual and Automatic Exploitation of Symmetries in SPN Models....Pages 28-43
Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models....Pages 44-63
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems....Pages 64-83
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol....Pages 84-103
Finding Stubborn Sets of Coloured Petri Nets without Unfolding....Pages 104-123
On Stubborn Sets in the Verification of Linear Time Temporal Properties....Pages 124-143
A Compositional Petri Net Semantics for SDL....Pages 144-164
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus....Pages 165-184
Efficiency of Token-Passing MUTEX-Solutions — Some Experiments....Pages 185-204
Thinking in Cycles....Pages 205-225
Iterative Decomposition and Aggregation of Labeled GSPNs....Pages 226-245
On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking....Pages 246-265
Deadlock Detection in the Face of Transaction and Data Dependencies....Pages 266-285
Petri Net Based Certification of Event-Driven Process Chains....Pages 286-305
M-net Calculus Based Semantics for Triggers....Pages 306-325
SWN Analysis and Simulation of Large Knockout ATM Switches....Pages 326-344
Flexibility in Algebraic Nets....Pages 345-364
ESTL: A Temporal Logic for Events and States....Pages 365-384