دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: W. Reisigs, G. Rozenberg (auth.), Wolfgang Reisig, Grzegorz Rozenberg (eds.) سری: Lecture Notes in Computer Science 1491 ISBN (شابک) : 3540653066, 9783540653066 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1998 تعداد صفحات: 692 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
کلمات کلیدی مربوط به کتاب سخنرانی در Petri Netes I: مدلهای اساسی: پیشرفت در شبکههای پتری: تئوری محاسبات، مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، سیستم های اطلاعات کسب و کار، سیستم ها و نظریه اطلاعات در مهندسی
در صورت تبدیل فایل کتاب Lectures on Petri Nets I: Basic Models: Advances in Petri Nets به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سخنرانی در Petri Netes I: مدلهای اساسی: پیشرفت در شبکههای پتری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
مجموعه دو جلدی از دوره پیشرفته پتری نتس که در داگستول، آلمان
در سپتامبر 1996 برگزار شد، نشأت می گیرد. فراتر از
سخنرانیهایی که در آنجا ارائه میشود، فصلهای دیگری نیز برای
ارائه یک نمایش متعادل از وضعیت هنر در این منطقه سفارش داده
شده است.
این کتاب همراه با جلد همراه خود "سخنرانی در شبکه های پتری II:
کاربردها" مرجع واقعی این حوزه است و به متخصصان، دانشجویان،
مدرسان و محققانی که
علاقه مند به طراحی سیستم ها هستند و می خواهند. دوست دارم
استفاده از شبکههای پتری آشنا با زیر حوزههای نظریه یا
کاربردهای آن را بیاموزم و میخواهم کل منطقه را مشاهده
کنم
- علاقه مند به یادگیری در مورد نتایج اخیر ارائه شده در چارچوب
یکپارچه
- برنامهریزی برای استفاده از شبکههای پتری در موقعیتهای
عملی
- علاقه مند به ارتباط شبکه های پتری با سایر مدل های سیستم های
همزمان است.
The two-volume set originates from the Advanced Course on
Petri Nets held in Dagstuhl, Germany in September 1996;
beyond the lectures given there, additional chapters have
been commissioned to give a well-balanced presentation of the
state of the art in the area.
Together with its companion volume "Lectures on Petri Nets
II: Applications" this book is the actual reference for the
area and addresses professionals, students, lecturers, and
researchers who are
- interested in systems design and would like to learn to use
Petri nets familiar with subareas of the theory or its
applications and wish to view the whole area
- interested in learning about recent results presented
within a unified framework
- planning to apply Petri nets in practical situations
- interested in the relationship of Petri nets to other
models of concurrent systems.
Informal introduction to petri nets....Pages 1-11
Elementary net systems....Pages 12-121
Place/transition Petri Nets....Pages 122-173
Principles of high-level net theory....Pages 174-210
Petri nets in performance analysis: An introduction....Pages 211-256
Basic linear algebraic techniques for place/transition nets....Pages 257-308
Linear algebraic and linear programming techniques for the analysis of place/transition net systems....Pages 309-373
Decidability and complexity of Petri net problems — An introduction....Pages 374-428
The state explosion problem....Pages 429-528
Theory of regions....Pages 529-586
Petri nets and other models of concurrency....Pages 587-642
Distributed versions of linear time temporal logic: A trace perspective....Pages 643-681