کامپیوترها

کاربردها و نظریه شبکه های پتری 2003: بیست و چهارمین کنفرانس بین المللی، ICATPN 2003 آیندهوون، هلند، 23 تا 27 ژوئن، 2003 مجموعه مقالات

Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings

دانلود کتاب Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings (به فارسی: کاربردها و نظریه شبکه های پتری 2003: بیست و چهارمین کنفرانس بین المللی، ICATPN 2003 آیندهوون، هلند، 23 تا 27 ژوئن، 2003 مجموعه مقالات) نوشته شده توسط «Kurt Jensen (auth.) – Wil M. P. van der Aalst – Eike Best (eds.)»


اطلاعات کتاب کاربردها و نظریه شبکه های پتری 2003: بیست و چهارمین کنفرانس بین المللی، ICATPN 2003 آیندهوون، هلند، 23 تا 27 ژوئن، 2003 مجموعه مقالات

موضوع اصلی: کامپیوترها

نوع: کتاب الکترونیکی

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Kurt Jensen (auth.) – Wil M. P. van der Aalst – Eike Best (eds.)

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2003

تعداد صفحه: 508

حجم کتاب: 9 مگابایت

کد کتاب: 3540403345 , 9783540403340

نوبت چاپ: 1

توضیحات کتاب کاربردها و نظریه شبکه های پتری 2003: بیست و چهارمین کنفرانس بین المللی، ICATPN 2003 آیندهوون، هلند، 23 تا 27 ژوئن، 2003 مجموعه مقالات

این کتاب مجموعه مقالات داوری بیست و چهارمین کنفرانس بین المللی کاربردها و نظریه شبکه های پتری، ICATPN 2003، در آیندهوون، هلند در ژوئن 2003 برگزار شد.

25 مقاله کامل اصلاح شده همراه با ارائه شده است. 6 مشارکت دعوت شده به دقت بررسی و از بین 77 مورد ارسالی انتخاب شدند. تمام مسائل جاری در مورد تحقیق و توسعه در حوزه شبکه های پتری، به ویژه طراحی و تجزیه و تحلیل سیستم های همزمان، بررسی مدل، شبکه سازی، مدل سازی فرآیند کسب و کار، روش های رسمی در مهندسی نرم افزار، سیستم های عامل، مشخصات سیستم ها، اعتبار سنجی سیستم ها، رویداد گسسته پرداخته می شود. سیستم ها، پروتکل ها و نمونه سازی


This book constitutes the refereed proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN 2003, held in Eindhoven, The Netherlands in June 2003.

The 25 revised full papers presented together with 6 invited contributions were carefully reviewed and selected from 77 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, model checking, networking, business process modeling, formal methods in software engineering, agent systems, systems specification, systems validation, discrete event systems, protocols, and prototyping.

دانلود کتاب «کاربردها و نظریه شبکه های پتری 2003: بیست و چهارمین کنفرانس بین المللی، ICATPN 2003 آیندهوون، هلند، 23 تا 27 ژوئن، 2003 مجموعه مقالات»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.