ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Petri Net Technology for Communication-Based Systems: Advances in Petri Nets

دانلود کتاب فناوری شبکه پتری برای سیستم‌های مبتنی بر ارتباطات: پیشرفت‌ها در شبکه‌های پتری

Petri Net Technology for Communication-Based Systems: Advances in Petri Nets

مشخصات کتاب

Petri Net Technology for Communication-Based Systems: Advances in Petri Nets

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

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



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



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

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


در صورت تبدیل فایل کتاب Petri Net Technology for Communication-Based Systems: Advances in Petri Nets به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب فناوری شبکه پتری برای سیستم‌های مبتنی بر ارتباطات: پیشرفت‌ها در شبکه‌های پتری



این نظرسنجی پیشرفته در سری پیشرفت‌های شبکه پتری گزارش می‌کند که چگونه می‌توان از مفاهیم و تکنیک‌های مختلف شبکه پتری به خوبی تثبیت شده و جدید برای مدل‌سازی سیستم‌های مبتنی بر ارتباطات، با تمرکز ویژه بر مدیریت گردش کار و استفاده کرد. فرآیندهای کسب و کار.

این کتاب بر اساس موفقیت یک برنامه ویژه بنیاد علم آلمان (DFG) در مورد فناوری شبکه پتری و همچنین مشارکت گسترده جامعه تحقیقاتی بین‌المللی پتری نت است.


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

This state-of-the-art survey in the Advances in Petri Nets series reports how various well-established and novel Petri net notions and techniques can be employed for modelling communication-based systems, with a particular focus on workflow management and business processes.

The book builds on the success of a special program of the German Science Foundation (DFG) on Petri Net Technology as well as on broad participation from the international Petri net research community.



فهرست مطالب

Front Matter....Pages -
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY....Pages 1-21
Application Development Assistance with the Petri Net Baukasten....Pages 22-36
Petri Net Transformations in the ≫Petri Net Baukasten≪....Pages 37-65
Four Steps Towards Sound Business Process Models....Pages 66-82
Generation of Animation Views for Petri Nets in GenGED....Pages 83-108
The Petri Net Kernel....Pages 109-123
The Petri Net Markup Language....Pages 124-144
Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets....Pages 145-160
Rule-Based Refinement of Petri Nets: A Survey....Pages 161-196
Modelling a Railway Crossing with Message Sequence Charts and Petri Nets....Pages 197-218
Quantitative Engineering of Business Processes with VIPbusiness ....Pages 219-242
Inter-organizational Business Process Management with XML Nets....Pages 243-263
Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL....Pages 264-280
Open Petri Nets as Semantic Model for Workflow Integration....Pages 281-294
Team Automata for CSCW – A Survey –....Pages 295-320
Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets....Pages 321-351
BASYSNET – An Integrated Approach for Automated Control System Development....Pages 352-362
The Electronic Tool Integration Platform (ETI) and the Petri Net Technology....Pages 363-382
Inheritance of Business Processes: A Journey Visiting Four Notorious Problems....Pages 383-408
A Formal Framework for Petri Net Class Transformations....Pages 409-429
Concurrency Based Transition Refinement for the Verification of Distributed Algorithms....Pages 430-454
Back Matter....Pages -




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