ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

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

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

Advances in Petri Nets 1991

مشخصات کتاب

Advances in Petri Nets 1991

دسته بندی: علمی-مردمی
ویرایش: 1 
نویسندگان: ,   
سری: Lecture Notes in Computer Science 524 
ISBN (شابک) : 3540543988, 9783540543985 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1991 
تعداد صفحات: 580 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

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



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

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


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

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


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



ایده اصلی پشت سری مجلدات Advances in Petri Nets ارائه نتایج اخیر به جامعه عمومی علوم کامپیوتر است که نمایانگرترین و مهم ترین برای توسعه منطقه است. مقالات این مجلد عمدتاً از کنفرانس‌های بین‌المللی سالانه کاربردها و نظریه شبکه‌های پتری گرفته شده‌اند. مقالات منتخب از آخرین کنفرانس به طور مستقل داوری می شوند و در صورت لزوم تجدید نظر و توسعه می یابند. برخی از مقالات دیگر که مستقیماً به سردبیر ارسال می شوند شامل می شوند. Advances in Petri Nets 1991 یازدهمین کنفرانس بین المللی کاربردها و تئوری شبکه های پتری را دربر می گیرد که در پاریس، فرانسه در ژوئن 1991 برگزار شد. این جلد شامل کتابشناسی شبکه های پتری 1990 است که توسط H. Pl}nnecke و W. Reisig با بیش از 4000 مورد تهیه شده است. ورودی ها.


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

The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. Thepapers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1991 covers the 11th International Conference on Applications and Theory of Petri Nets held in Paris, France in June 1991. The volume contains the Bibliography of Petri Nets 1990 prepared by H. Pl}nnecke and W. Reisig, with over 4000 entries.



فهرست مطالب

Delays in synchronized elementary net systems....Pages 1-28
Proving temporal properties of Petri nets....Pages 29-47
The complexity of testing the equivalence of transition sequences....Pages 48-57
Use of reentrant nets in modular analysis of colored nets....Pages 58-77
On abstractions of nets....Pages 78-92
Semantics, composition and net properties of algebraic high-level nets....Pages 93-117
Top-down synthesis of live and bounded free choice nets....Pages 118-139
Hood nets....Pages 140-160
Distributable nets....Pages 161-187
Computer supported design of kanban controlled production....Pages 188-204
Optimal simulations, nets and reachability graphs....Pages 205-226
An integrated software development methodology based on hierarchical colored Petri nets....Pages 227-252
On net systems generated by process foldings....Pages 253-276
On liveness preservation by composition of nets via a set of places....Pages 277-295
Software implementation of petri nets and compilation of rule-based systems....Pages 296-316
Bibliography of Petri nets 1990....Pages 317-572




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