ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

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

دانلود کتاب یکپارچه سازی شبکه های پتری: پیشرفت در شبکه های پتری

Unifying Petri Nets: Advances in Petri Nets

مشخصات کتاب

Unifying Petri Nets: Advances in Petri Nets

ویرایش: 1 
نویسندگان: , , , , ,   
سری: Lecture Notes in Computer Science 2128 
ISBN (شابک) : 9783540430674, 9783540455417 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2001 
تعداد صفحات: 494 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

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



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



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

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


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

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


توضیحاتی در مورد کتاب یکپارچه سازی شبکه های پتری: پیشرفت در شبکه های پتری



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


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

Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth.
These successful developments have led to a very heterogeneous landscape of diverse models, and this, in turn, has stimulated research on concepts and approaches that contribute to unifying and structuring the diverse landscape. This state-of-the-art survey presents the most relevant approaches to unifying Petri nets in a systematic and coherent way. The 14 chapters written by leading researchers are organized in topical sections on application-oriented approaches, unifying frameworks, and theoretical approaches.



فهرست مطالب

“What Is a Petri Net?” Informal Answers for the Informed Reader....Pages 1-25
The ≫Petri Net Baukasten≪: An Overview....Pages 26-53
Improving the Usability of Petri Nets with the ≫Petri Net Baukasten≪....Pages 54-78
Implementation of Parameterized Net Classes with the Petri Net Kernel of the ≫Petrinetz-Baukasten≪....Pages 79-102
Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models....Pages 103-125
Petri Nets over Partial Algebra....Pages 126-172
Parameterized Net Classes: A Uniform Approach to Petri Net Classes....Pages 173-229
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs....Pages 230-249
Rewriting Logic as a Unifying Framework for Petri Nets....Pages 250-303
Generalized Automata and Their Net Representations....Pages 304-345
On Concurrent Realization of Reactive Systems and Their Morphisms....Pages 346-379
Transactions and Zero-Safe Nets....Pages 380-426
Two Algebraic Process Semantics for Contextual Nets....Pages 427-456
Continuous Petri Nets and Transition Systems....Pages 457-485




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