ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Application and Theory of Petri Nets 1995: 16th International Conference Turin, Italy, June 26–30, 1995 Proceedings

دانلود کتاب کاربرد و نظریه پتری نات 1995: 16th International Conference Turin، Italy، June 26-30، 1995 Proceedings

Application and Theory of Petri Nets 1995: 16th International Conference Turin, Italy, June 26–30, 1995 Proceedings

مشخصات کتاب

Application and Theory of Petri Nets 1995: 16th International Conference Turin, Italy, June 26–30, 1995 Proceedings

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

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



کلمات کلیدی مربوط به کتاب کاربرد و نظریه پتری نات 1995: 16th International Conference Turin، Italy، June 26-30، 1995 Proceedings: محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه ها، معماری پردازنده، شبکه های ارتباطی کامپیوتری، ترکیبیات



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

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


در صورت تبدیل فایل کتاب Application and Theory of Petri Nets 1995: 16th International Conference Turin, Italy, June 26–30, 1995 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب کاربرد و نظریه پتری نات 1995: 16th International Conference Turin، Italy، June 26-30، 1995 Proceedings نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب کاربرد و نظریه پتری نات 1995: 16th International Conference Turin، Italy، June 26-30، 1995 Proceedings



این کتاب مجموعه مقالات شانزدهمین کنفرانس بین‌المللی کاربرد و نظریه شبکه‌های پتری است که در تورینو، ایتالیا در ژوئن 1995 برگزار شد. علاوه بر این، چکیده یا مقاله کامل از سه سخنرانی دعوت شده وجود دارد. تمام جنبه های نظری و کاربردی توسط مشارکت کنندگانی که از صنعت و دانشگاه آمده اند مورد توجه قرار می گیرد. این جلد به طور معرف پیشرفت به دست آمده در این حوزه کاربردی-محور تحقیق و توسعه را از کنفرانس قبلی که یک سال قبل برگزار شد، نشان می دهد.


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

This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995
The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in addition there are abstracts or full papers of the three invited talks. All theoretical and applicational aspects are addressed by the contributors coming from industry and academia. This volume representatively documents the progress achieved in this application-oriented area of research and development since the predecessor conference held one year earlier.



فهرست مطالب

A refined view of the box algebra....Pages 1-20
Distributed algorithms and causally consistent observations (abstract)....Pages 21-22
Petri Nets for information systems modelling....Pages 23-24
On liveness in Extended Non Self-Controlling Nets....Pages 25-44
An algebraic semantics for hierarchical P/T nets....Pages 45-65
A Petri net based environment for the design of event-driven interfaces....Pages 66-83
An incremental specification of a Hydroelectric Power Plant Control System using a class of modular algebraic nets....Pages 84-102
A class of composable high level Petri nets....Pages 103-120
An efficient algorithm for the computation of stubborn sets of well formed Petri Nets....Pages 121-140
CAB: An environment for developing concurrent application....Pages 141-160
A notion of equivalence for stochastic Petri nets....Pages 161-180
Parallel state space exploration for GSPN models....Pages 181-200
Modular state space analysis of coloured Petri Nets....Pages 201-217
Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning....Pages 218-237
Symbolic reachability graph and partial symmetries....Pages 238-257
Causal behaviours and nets....Pages 258-277
From Coloured Petri Nets to Object Petri Nets....Pages 278-297
Handles and reachability analysis of free choice nets....Pages 298-315
Performance bounds for stochastic timed Petri nets....Pages 316-334
An inspection model with minimal and major maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets....Pages 335-356
Subclasses of recognizable trace languages....Pages 357-373
Verification of asynchronous circuits by BDD-based model checking of Petri nets....Pages 374-391
Parameterized reachability trees for algebraic Petri nets....Pages 392-411
Efficient simulation of Thor nets....Pages 412-431
Functional equivalences of Petri nets....Pages 432-450
Hierarchical Time Stream Petri Net: A model for hypermedia systems....Pages 451-470
Markov Regenerative Stochastic Petri Nets with age type general transitions....Pages 471-489
Timed processes of Timed Petri Nets....Pages 490-509




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

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