دانلود کتاب Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings (به فارسی: کاربردها و نظریه شبکه های پتری 2004: بیست و پنجمین کنفرانس بین المللی، ICATPN 2004، بولونیا، ایتالیا، 21-25 ژوئن، 2004. مجموعه مقالات) نوشته شده توسط «Nadia Busi – Roberto Gorrieri (auth.) – Jordi Cortadella – Wolfgang Reisig (eds.)»
اطلاعات کتاب کاربردها و نظریه شبکه های پتری 2004: بیست و پنجمین کنفرانس بین المللی، ICATPN 2004، بولونیا، ایتالیا، 21-25 ژوئن، 2004. مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Nadia Busi – Roberto Gorrieri (auth.) – Jordi Cortadella – Wolfgang Reisig (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 505
حجم کتاب: 5 مگابایت
کد کتاب: 3540222367 , 9783540222361 , 9783540277934
نوبت چاپ: 1
توضیحات کتاب کاربردها و نظریه شبکه های پتری 2004: بیست و پنجمین کنفرانس بین المللی، ICATPN 2004، بولونیا، ایتالیا، 21-25 ژوئن، 2004. مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و پنجمین کنفرانس بینالمللی کاربردها و تئوری شبکههای پتری، ICATPN 2004 است که در بولونیا، ایتالیا در ژوئن 2004 برگزار شد.
19 مقاله منظم اصلاحشده کامل و 5 مقاله تجدیدنظر شده مقالات ارائه ابزار ارائه شده همراه با 6 مقاله دعوت شده به دقت بررسی و از بین 62 مقاله ارسالی انتخاب شدند. تمام مسائل جاری در مورد تحقیق و توسعه در حوزه شبکه های پتری، به ویژه طراحی و تجزیه و تحلیل سیستم های همزمان، توسعه سیستم های مدولار، مشخصات رسمی، اعتبارسنجی مدل، بررسی مدل، مدیریت گردش کار، نمودارهای جریان، شبکه، روش های رسمی در مهندسی نرم افزار پرداخته شده است. و غیره
This book constitutes the refereed proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN 2004, held in Bologna, Italy in June 2004.
The 19 revised full regular papers and 5 revised tool presentation papers presented together with 6 invited papers were carefully reviewed and selected from 62 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, modular systems development, formal specification, model validation, model checking, workflow management, flow charts, networking, formal methods in software engineering, etc.