ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

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

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

Advances in Petri Nets 1989

مشخصات کتاب

Advances in Petri Nets 1989

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

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



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



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

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


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

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


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

این آخرین مورد از مجموعه‌ای از مجلدات است که نتایج اخیر را در مورد شبکه‌های پتری به جامعه عمومی علوم رایانه ارائه می‌کند. مقالات برای ارائه نتایجی که نمایانگرترین و قابل توجه ترین برای توسعه منطقه است، انتخاب و آماده شده است.


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

This is the latest in a series of volumes presenting recent results on Petri nets to the general computer science community. The papers are selected and prepared to present results which are the most representative and significant for the development of the area.



فهرست مطالب

Stochastic Petri nets: An elementary introduction....Pages 1-29
Improving the efficiency of the analysis of DSPN models....Pages 30-50
Synchronized elementary net systems....Pages 51-76
Descriptive and analytical process algebras....Pages 77-104
P/T-systems as abstractions of C/E-systems....Pages 105-127
The semantics of capacities in P/T nets....Pages 128-150
Petri net tool overview 1989....Pages 151-178
Equivalence transformations of PrT-Nets....Pages 179-208
A reduction theory for coloured nets....Pages 209-235
Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets....Pages 236-261
S-CORT®: A method for the development of electronic payment systems....Pages 262-280
Timed Petri nets and application to multi-stage production systems....Pages 281-305
Petri net systems and their closure properties....Pages 306-328
Occam and the transputer....Pages 329-353
About the concurrent behaviour of EN systems: Definability and closure results....Pages 354-373
Petri nets and flexible manufacturing....Pages 374-417
Some properties of timed nets under the earliest firing rule....Pages 418-432
A comparative study of different techniques for semi-flows computation in place/transition nets....Pages 433-452
Elementary net systems and dynamic logic....Pages 453-466
Representation of a swapping class by one net....Pages 467-486
Design methods based on nets....Pages 487-506
CEDISYS compositional distributed systems state of the art, research goals, references....Pages 507-524




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی