دانلود کتاب Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings (به فارسی: کاربرد و نظریه شبکه های پتری 2000: بیست و یکمین کنفرانس بین المللی، ICATPN 2000 آرهوس، دانمارک، 26 تا 30 ژوئن، 2000 مجموعه مقالات) نوشته شده توسط «Jordi Cortadella – Michael Kishinevsky – Alex Kondratyev – Luciano Lavagno – Alex Yakovlev (auth.) – Mogens Nielsen – Dan Simpson (eds.)»
اطلاعات کتاب کاربرد و نظریه شبکه های پتری 2000: بیست و یکمین کنفرانس بین المللی، ICATPN 2000 آرهوس، دانمارک، 26 تا 30 ژوئن، 2000 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Jordi Cortadella – Michael Kishinevsky – Alex Kondratyev – Luciano Lavagno – Alex Yakovlev (auth.) – Mogens Nielsen – Dan Simpson (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2000
تعداد صفحه: 492
حجم کتاب: 6 مگابایت
کد کتاب: 3540676937 , 9783540676935
نوبت چاپ: 1
توضیحات کتاب کاربرد و نظریه شبکه های پتری 2000: بیست و یکمین کنفرانس بین المللی، ICATPN 2000 آرهوس، دانمارک، 26 تا 30 ژوئن، 2000 مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و یکمین کنفرانس بین‌المللی کاربرد و تئوری شبکه‌های پتری، ICATPN 2000، در آرهوس، دانمارک، در ژوئن 2000 است.
20 مقاله کامل اصلاح‌شده همراه با چهار نظرسنجی دعوت شده و چهار ارائه ابزار ارائه شده است. از بین 57 مورد ارسالی به دقت بررسی و انتخاب شدند. این مقالات به تمام جنبه های فعلی تحقیق و توسعه شبکه پتری از جمله طراحی و تأیید سیستم، UML، ترکیب، جبرهای فرآیند، بررسی مدل، شبکه های کامپیوتری، مهندسی فرآیند کسب و کار، شبکه های ارتباطی و غیره می پردازند. کلاس های مختلفی از شبکه های پتری از جمله پتری ایمن مورد بحث قرار می گیرند. توری، توری پتری سطح بالا، توری پتری رنگی، توری P/T و توری پتری زمان دار.
The 20 revised full papers presented together with four invited surveys and four tool presentations were carefully reviewed and selected from 57 submissions. The papers address all current aspects of Petri net research and development including system design and verification, UML, compositionality, process algebras, model checking, computer networking, business process engineering, communication networks, etc. Various classes of Petri nets are discussed including safe Petri nets, high-level Petri nets, colored Petri nets, P/T nets, and timed Petri nets.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.