دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN’99 Williamsburg, Virginia, USA, June 21–25, 1999 Proceedings
دانلود کتاب کاربرد و تئوری پتری نتس 1999: بیستمین کنفرانس بین المللی ، ویلیامزبرگ ، ICATPN99 ، ویرجینیا ، ایالات متحده ، مجموعه مقالات 21 تا 25 ژوئن ، 1999
مشخصات کتاب
Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN’99 Williamsburg, Virginia, USA, June 21–25, 1999 Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Pravin Varaiya (auth.), Susanna Donatelli, Jetty Kleijn (eds.) سری: Lecture Notes in Computer Science 1639 ISBN (شابک) : 3540661328, 9783540661320 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1999 تعداد صفحات: 432 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 59,000
کلمات کلیدی مربوط به کتاب کاربرد و تئوری پتری نتس 1999: بیستمین کنفرانس بین المللی ، ویلیامزبرگ ، ICATPN99 ، ویرجینیا ، ایالات متحده ، مجموعه مقالات 21 تا 25 ژوئن ، 1999: تئوری محاسبات، شبکه های ارتباطی کامپیوتری، معماری پردازنده، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN’99 Williamsburg, Virginia, USA, June 21–25, 1999 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کاربرد و تئوری پتری نتس 1999: بیستمین کنفرانس بین المللی ، ویلیامزبرگ ، ICATPN99 ، ویرجینیا ، ایالات متحده ، مجموعه مقالات 21 تا 25 ژوئن ، 1999 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کاربرد و تئوری پتری نتس 1999: بیستمین کنفرانس بین المللی ، ویلیامزبرگ ، ICATPN99 ، ویرجینیا ، ایالات متحده ، مجموعه مقالات 21 تا 25 ژوئن ، 1999
این کتاب مجموعه مقالات داوری بیستمین کنفرانس بین‌المللی کاربرد
و نظریه شبکه‌های پتری، ICATPN'99 است که در ویلیامزبورگ،
ویرجینیا، ایالات متحده آمریکا، در ژوئن 1999 برگزار شد.
21 مقاله کامل اصلاح‌شده ارائه‌شده با دقت از 45 مقاله ارسالی
انتخاب شدند. . همچنین شامل سه ارائه دعوت شده است. این کتاب
آخرین نتایج تحقیقاتی را در مورد تمام جنبه های جاری شبکه های
پتری و همچنین کاربردهای پیشرفته در زمینه های مختلف ارائه می
دهد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 20th
International Conference on Application and Theory of Petri
Nets, ICATPN'99, held in Williamsburg, Virginia, USA, in June
1999.
The 21 revised full papers presented were carefully selected
from 45 submissions. Also included are three invited
presentations. The book presents state-of-the-art research
results on all current aspects of Petri nets as well as
advanced applications in a variety of areas.
فهرست مطالب
Design, Simulation, and Implementation of Hybrid Systems....Pages 1-5
Efficient Reachability Set Generation and Storage Using Decision Diagrams....Pages 6-25
Structural Methods to Improve the Symbolic Analysis of Petri Nets....Pages 26-45
Stubborn Sets for Standard Properties....Pages 46-65
Petri Net Based Behavioural Specification of CORBA Systems....Pages 66-85
Symmetric Communication between Coloured Petri Net Simulations and Java-Processes....Pages 86-105
Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems....Pages 106-106
Autonomous Continuous P/T Systems....Pages 107-126
An Approach to the Analysis of Interworking Traders....Pages 127-146
Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets....Pages 147-167
SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation....Pages 168-187
Monitoring Discrete Event Systems Using Petri Net Embeddings....Pages 188-207
Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets....Pages 208-227
Theoretical Aspects of Recursive Petri Nets....Pages 228-247
Petri Net Theory — Problems Solved by Commutative Algebra....Pages 248-267
Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem....Pages 268-281
Net Theory and Workflow Models....Pages 282-283
Concurrent Implementation of Asynchronous Transition Systems....Pages 284-303
Trace Channel Nets....Pages 304-323
Reasoning about Algebraic Generalisation of Petri Nets....Pages 324-343
The Box Algebra —; A Model of Nets and Process Expressions....Pages 344-363
Detection of Illegal Behaviours Based on Unfoldings....Pages 364-383
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets....Pages 384-403
Verifying Intuition — ILF Checks DAWN Proofs....Pages 404-423
نظرات کاربران
کتاب های مرتبط
دانلود کتاب STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings
دانلود کتاب SAINT: heuristic symbolic integration in freshman calculus [PhD Thesis]
دانلود کتاب STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings
دانلود کتاب Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings
دانلود کتاب STACS 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings
دانلود کتاب Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings
دانلود کتاب Advances in Computer Systems Architecture: 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings
دانلود کتاب Quantum Walks for Computer Scientists
دانلود کتاب Advances in Biometrics, ICB 2006
