ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Advances in Petri Nets 1988

دانلود کتاب پیشرفت در Petri Nets 1988

Advances in Petri Nets 1988

مشخصات کتاب

Advances in Petri Nets 1988

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 340 
ISBN (شابک) : 3540505806, 9783540505808 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1988 
تعداد صفحات: 444 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

قیمت کتاب (تومان) : 45,000



کلمات کلیدی مربوط به کتاب پیشرفت در Petri Nets 1988: محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه ها، معماری پردازنده، شبکه های ارتباطی کامپیوتری، سیستم عامل ها



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب Advances in Petri Nets 1988 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب پیشرفت در Petri Nets 1988 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب پیشرفت در Petri Nets 1988



ایده پشت مجموعه‌های پیشرفت‌ها در پتری نتس ارائه نتایج اخیر به جامعه عمومی علوم کامپیوتراست که نماینده‌ترین و B>برای توسعه در این زمینه مهم است. منبع اصلی مقالات \"پیشرفت\"، کارگاه های سالانه \"کارگاه های اروپایی کاربردها و نظریه پتری شبکه ها\" است. \"بهترین\" مقالات از آخرین کارگاه ها برای این مجموعه در نظر گرفته می شوند، یعنی دوباره بررسی می شوند و بر این اساس بازبینی یا تمدید می شوند. علاوه بر مقالات کارگاه، \"پیشرفت ها\" همچنین مقالات دعوت شده ای را که مستقیماً برای انتشار ارسال شده اند ارائه می دهد. جلد حاضر پیشرفت ها در Petri Nets 1988 هشتمین "کارگاه اروپایی کاربردها و نظریه شبکه های پتری" را دربر می گیرد که در ساراگوزا، اسپانیا در ژوئن 1987 برگزار شد. همچنین شامل نظرسنجی در مورد سوالات تصمیم پذیری برای کلاس های شبکه های FIFO توسط A. Finkel و L.E. روزیر.


توضیحاتی درمورد کتاب به خارجی

The idea behind the series of volumes Advances in Petri Netsis to present to the general computer science community recent results which are the most representative and significant for the development in this area. The main source for the papers for "Advances" are the annual "European Workshops on Applications and Theory of Petri Nets"; the "best" papers from the latest workshops are considered for the series, i.e. they are reviewed again and revised or extended accordingly. In addition to the workshoppapers, the "Advances" also present invited papers submitteddirectly for publication. The present volume Advances in Petri Nets 1988 covers the 8th "European Workshop on Applications and Theory of Petri Nets" held in Zaragoza, Spain in June 1987. It also contains a survey on decidability questions for classes of FIFO nets by A. Finkel and L.E. Rosier.



فهرست مطالب

An environment for object-oriented conceptual programming based on PROT nets....Pages 1-19
OBJSA Nets: a class of high-level nets having objects as domains....Pages 20-43
On internal and external characterisations of PT-net building block behaviour....Pages 44-61
Timed Petri Net schedules....Pages 62-84
An exercise in concurrency: A CSP process as a condition/event system....Pages 85-105
A survey on the decidability questions for classes of fifo nets....Pages 106-132
The construction of EN systems from a given trace behaviour....Pages 133-153
Programming a closely coupled multiprocessor system with high level petri nets....Pages 154-174
Music description and processing by Petri Nets....Pages 175-199
On questions of fairness and temporal logic for conflict-free Petri nets....Pages 200-226
Infinitary partial Petri net languages and their relationship to other Petri net semantics....Pages 227-248
Net representation of sentences in natural languages....Pages 249-265
Some consequences of the decidability of the reachability problem for Petri nets....Pages 266-282
Experiences in the use of galileo to design telecommunication systems....Pages 283-306
Compositional semantics of pure place/transition systems....Pages 307-330
Occurrence traces....Pages 331-342
Performance evaluation of interpreted bipolar synchronization schemes using G.E.R.T.....Pages 343-370
On the generation of organizational architectures using Petri Nets....Pages 371-385
On the computation of structural synchronic invariants in P/T nets....Pages 386-417
On the implementation of Petri nets....Pages 418-439




نظرات کاربران