ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

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

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

Advances in Petri Nets 1992

مشخصات کتاب

Advances in Petri Nets 1992

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

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



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



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

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


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

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


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



هدف اصلی مجموعه مجلدات \"پیشرفت در شبکه های پتری\" عبارتند از: - ارائه تصویری منصفانه از پیشرفت های اخیر در زمینه شبکه های پتری به جامعه علمی \"خارج\" و - تشویق علاقه مندان به کاربردها و تئوری سیستم های همزمان، نگاهی دقیق تر به شبکه های پتری بیاندازند و سپس به گروه محققانی که در این حوزه جذاب و چالش برانگیز کار می کنند، بپیوندند. ESPRIT Basic Research Action DEMON (روش‌های طراحی مبتنی بر شبکه‌ها) در سه سال گذشته کانون تحولات درون جامعه شبکه پتری بوده است. مقالات ارائه شده در این جلد ویژه از مقالات ارسال شده توسط شرکت کنندگان در DEMON انتخاب شده است. مقالات داوری شده اند و به صورت اصلاح شده ظاهر می شوند. این جلد شامل کمک‌های فنی است که بینش‌هایی درباره تعدادی از دستاوردهای اصلی پروژه DEMON ارائه می‌کند. همچنین شامل چهار مقاله نظرسنجی است که حوزه های تحقیقاتی مهم را پوشش می دهد. این جلد با توضیحاتی درباره DEMON که توسط هماهنگ کننده آن E. Best ارائه شده است آغاز می شود.


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

The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area. The ESPRIT Basic Research Action DEMON (DEsign Methods based On Nets) has been a focus of developments withinthe Petri net community for the last three years. The papers presented in this special volume have been selected from papers submitted by participants in DEMON. The papers have been refereed and appear in revised form. The volume contains technical contributions giving insights into a number of major achievements of the DEMON project. It also contains four survey papers covering important research areas. The volume begins witha description of DEMON given by its coordinator E. Best.



فهرست مطالب

Esprit basic research action 3148 DEMON (Design methods based on nets) — Aims, scope and achievements —....Pages 1-20
The box calculus: A new causal algebra with multi-label communication....Pages 21-69
Modular functional modelling of petri nets with individual tokens....Pages 70-88
Interleaving semantics and action refinement with atomic choice....Pages 89-107
Maximality preservation and the ST-idea for action refinements....Pages 108-151
A fifo-net model for processes with asynchronous communication....Pages 152-178
A basic-net algebra for program semantics and its application to occam....Pages 179-214
The effect of Vector synchronization: Residue and loss....Pages 215-250
Modelling systems with dynamic priorities....Pages 251-266
On distributed languages and models for concurrency....Pages 267-291
Partial words versus processes: A short comparison....Pages 292-303
A survey of basic net models and modular net classes....Pages 304-351
Structural techniques and performance bounds of stochastic Petri net models....Pages 352-391
A survey of recognizable languages of infinite traces....Pages 392-409
A survey of equivalence notions for net based systems....Pages 410-472




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