ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24–30, 2002 Proceedings

دانلود کتاب کاربرد و تئوری پتری نت نت 2002: بیست و سومین کنفرانس بین المللی ، ICATPN 2002 آدلاید ، استرالیا ، مجموعه مقالات 24 تا 30 ژوئن ، 2002

Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24–30, 2002 Proceedings

مشخصات کتاب

Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24–30, 2002 Proceedings

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

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



کلمات کلیدی مربوط به کتاب کاربرد و تئوری پتری نت نت 2002: بیست و سومین کنفرانس بین المللی ، ICATPN 2002 آدلاید ، استرالیا ، مجموعه مقالات 24 تا 30 ژوئن ، 2002: تئوری محاسبات، شبکه های ارتباطی کامپیوتری، ریاضیات گسسته در علوم کامپیوتر، مهندسی نرم افزار، سیستم های عامل



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

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


در صورت تبدیل فایل کتاب Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24–30, 2002 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب کاربرد و تئوری پتری نت نت 2002: بیست و سومین کنفرانس بین المللی ، ICATPN 2002 آدلاید ، استرالیا ، مجموعه مقالات 24 تا 30 ژوئن ، 2002 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب کاربرد و تئوری پتری نت نت 2002: بیست و سومین کنفرانس بین المللی ، ICATPN 2002 آدلاید ، استرالیا ، مجموعه مقالات 24 تا 30 ژوئن ، 2002

این کتاب مجموعه مقالات داوری بیست و سومین کنفرانس بین المللی کاربرد و تئوری شبکه های پتری، ICATPN 2002، در آدلاید، استرالیا، در ژوئن 2002 برگزار شد.
18 مقاله معمولی و یک ارائه ابزار همراه با شش مقاله دعوت شده ارائه شد. از بین 45 مورد ارسالی به دقت بررسی و انتخاب شد. تمام مسائل جاری در مورد تحقیق و توسعه شبکه‌های پتری، به ویژه تجزیه و تحلیل سیستم‌های همزمان، اعتبارسنجی مدل، مدیریت فرآیند کسب‌وکار، سیستم‌های واکنشی، فرآیندهای گردش کار، پروتکل‌های تراکنش بی‌سیم مورد بررسی قرار می‌گیرند.


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

This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN 2002, held in Adelaide, Australia, in June 2002.
The 18 regular papers and one tool presentation presented together with six invited paper were carefully reviewed and selected from 45 submissions. All current issues on research and development of Petri nets are addressed, in particular concurrent systems analysis, model validation, business process management, reactive systems, workflow processes, wireless transaction protocols.



فهرست مطالب

Making Work Flow: On the Application of Petri Nets to Business Process Management....Pages 1-22
Model Validation — A Theoretical Issue?....Pages 23-43
The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming....Pages 44-58
The Challenge of Object Orientation for the Analysis of Concurrent Systems....Pages 59-67
Abstract Cyclic Communicating Processes: A Logical View....Pages 68-69
Is the Die Cast for the Token Game?....Pages 70-79
Quasi-Static Scheduling of Independent Tasks for Reactive Systems....Pages 80-100
Data Decision Diagrams for Petri Net Analysis....Pages 101-120
Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes....Pages 121-141
Real-Time Synchronised Petri Nets....Pages 142-162
Computing a Finite Prefix of a Time Petri Net....Pages 163-181
Verification of a Revised WAP Wireless Transaction Protocol....Pages 182-202
Characterizing Liveness of Petri Nets in Terms of Siphons....Pages 203-216
Petri Nets, Situations, and Automata....Pages 217-236
Reproducibility of the Empty Marking....Pages 237-253
Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets....Pages 254-272
Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification....Pages 273-293
Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets....Pages 294-313
Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method....Pages 314-334
Regular Event Structures and Finite Petri Nets: The Conflict-Free Case....Pages 335-351
A Formal Service Specification for the Internet Open Trading Protocol....Pages 352-373
Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm....Pages 374-393
Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow....Pages 394-413
Translating TPAL Specifications into Timed-Arc Petri Nets....Pages 414-433
Maria: Modular Reachability Analyser for Algebraic System Nets....Pages 434-444




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

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