دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Jörg Desel, Gabriel Juhás (auth.), Hartmut Ehrig, Julia Padberg, Gabriel Juhás, Grzegorz Rozenberg (eds.) سری: Lecture Notes in Computer Science 2128 ISBN (شابک) : 9783540430674, 9783540455417 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 494 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
کلمات کلیدی مربوط به کتاب یکپارچه سازی شبکه های پتری: پیشرفت در شبکه های پتری: محاسبات با دستگاه های انتزاعی، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، منطق و معانی برنامه ها، شبکه های ارتباطی کامپیوتری، ریاضیات گسسته در علوم کامپیوتر
در صورت تبدیل فایل کتاب 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