ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

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

دانلود کتاب پیشرفت در پتری نتس 1987

Advances in Petri Nets 1987

مشخصات کتاب

Advances in Petri Nets 1987

ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 266 
ISBN (شابک) : 9783540180869, 9783540477433 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1987 
تعداد صفحات: 457 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 10 مگابایت 

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



کلمات کلیدی مربوط به کتاب پیشرفت در پتری نتس 1987: شبکه های ارتباطی کامپیوتری



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

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


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

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


توضیحاتی در مورد کتاب پیشرفت در پتری نتس 1987



هدف این مجموعه از مجلدات \"پیشرفتها در شبکه های پتری\" ارائه مهم ترین نتایج اخیر در زمینه توسعه در منطقه به جامعه عمومی علوم کامپیوتر است. منبع اصلی مقالات، کارگاه‌های سالانه اروپایی کاربردها و تئوری شبکه‌های پتری می‌باشند؛ مقالاتی که بالاترین رتبه را از کارگاه‌های گذشته برای این مجموعه در نظر گرفته‌اند، یعنی مجدداً بررسی و بر این اساس تجدید نظر یا تمدید می‌شوند. مقاله های کارگاه، \"پیشرفت ها\" نیز مقالات دعوت شده را ارائه می دهند. جلد حاضر پیشرفت ها در شبکه های پتری 1987 هفتمین \"کارگاه اروپایی کاربردها و نظریه پتری را پوشش می دهد. شبکه‌ها در آکسفورد، بریتانیای کبیر، در ژوئن 1986 برگزار شد. همچنین شامل بررسی پیچیدگی مشکلات مربوط به شبکه‌های پتری است که توسط R.R. Howell و L.E. Rosier نوشته شده است. یکی از ویژگی‌های خاص این جلد کتاب‌شناسی در مورد شبکه‌های پتری است که شامل موارد بیشتری است. بیش از 2000 ورودی.


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

The aim of these series of volumes "Advances in Petri Nets" is to present to the general computer science community the most significant recent results with regard to the development in the area. The main source of the papers are the annual European Workshops on Applications and Theory of Petri Nets"; the highest ranked papers from the past workshops are considered for the series, i.e., they are again reviewed and accordingly revised or extended. In addition to the workshop papers, the "Advances" also present invited papers. The present volume Advances in Petri Nets 1987 covers the 7th "European Workshop on Applications and Theory of Petri Nets" held in Oxford, Great Britain, in June 1986. It also contains a survey on complexity of problems related to Petri nets written by R.R. Howell and L.E. Rosier. A special feature of this volume is a bibliography on Petri nets, containing more than 2000 entries.



فهرست مطالب

Specification and properties of a cache coherence protocol model....Pages 1-20
GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems....Pages 21-44
Recent results on the complexity of problems related to Petri nets....Pages 45-72
Algebraic structure of flows of a regular coloured net....Pages 73-88
On equivalent execution semantics of concurrent systems....Pages 89-103
Mathematical methods for calculating invariants in Petri nets....Pages 104-131
On Petri nets with deterministic and exponentially distributed firing times....Pages 132-145
An accurate performance model of CSMA/CD bus LAN....Pages 146-161
Petri net models for the λ-calculus....Pages 162-180
Fair processes....Pages 181-195
Operational Petri net semantics for CCSP....Pages 196-223
Infinitary languages of Petri nets and logical sentences....Pages 224-237
A strong part of concurrency....Pages 238-272
Concurrency and continuity....Pages 273-292
Parallel systems specifications with coloured Petri nets and algebraic specifications....Pages 293-308
Bibliography of Petri nets....Pages 309-451




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