درباره این محصول

این کتاب اطلاعات ضروری در مورد نظریه شبکه پتری و روش های بررسی مدل مبتنی بر شبکه پتری را ارائه می دهد. در مورد نظریه شبکه پتری، این نظریه شامل معناشناسی و معنای همزمانی سیستم های شبکه ابتدایی، برخی ساختارهای شبکه مهم (مانند، ثابت، بردار تکراری، سیفون و تله)، برخی از زیر کلاس های شبکه کلاسیک با ساختارهای خاص (مثلاً ماشین حالت) است. ، نمودار مشخص شده، شبکه انتخاب آزاد، شبکه انتخاب نامتقارن، شبکه معمولی، و شبکه ضعیف پایدار)، و برخی ویژگی های اساسی (مانند دسترسی، سرزنده بودن، بن بست، و سالم بودن). همچنین شامل چهار شبکه پتری سطح بالا است: شبکه‌های پتری دانش‌محور، شبکه‌های پتری با مکان‌های ناامن، شبکه‌های پتری زمانی، و شبکه‌های پتری زمان ساده با اولویت‌ها، با تمرکز بر زمینه‌های مختلف کاربرد. در مورد روش های بررسی مدل، این کتاب خوانندگان را با منطق درخت محاسباتی (CTL)، منطق درخت محاسباتی دانش (CTLK) و منطق درخت محاسبات زمان‌دار (TCTL) و همچنین روش‌های مبتنی بر شبکه پتری برای بررسی آنها آشنا می‌کند. اصل اساسی نمودار تصمیم گیری باینری مرتب شده کاهش یافته (ROBDD) برای فشرده سازی فضای حالت مورد استفاده در این روش های بررسی مدل استفاده می شود.

نقد و بررسی محصول

این کتاب اطلاعات ضروری در مورد نظریه شبکه پتری و روش های بررسی مدل مبتنی بر شبکه پتری را ارائه می دهد. در مورد نظریه شبکه پتری، این نظریه شامل معناشناسی و معنای همزمانی سیستم های شبکه ابتدایی، برخی ساختارهای شبکه مهم (مانند، ثابت، بردار تکراری، سیفون و تله)، برخی از زیر کلاس های شبکه کلاسیک با ساختارهای خاص (مثلاً ماشین حالت) است. ، نمودار مشخص شده، شبکه انتخاب آزاد، شبکه انتخاب نامتقارن، شبکه معمولی، و شبکه ضعیف پایدار)، و برخی ویژگی های اساسی (مانند دسترسی، سرزنده بودن، بن بست، و سالم بودن). همچنین شامل چهار شبکه پتری سطح بالا است: شبکه‌های پتری دانش‌محور، شبکه‌های پتری با مکان‌های ناامن، شبکه‌های پتری زمانی، و شبکه‌های پتری زمان ساده با اولویت‌ها، با تمرکز بر زمینه‌های مختلف کاربرد. در مورد روش های بررسی مدل، این کتاب خوانندگان را با منطق درخت محاسباتی (CTL)، منطق درخت محاسباتی دانش (CTLK) و منطق درخت محاسبات زمان‌دار (TCTL) و همچنین روش‌های مبتنی بر شبکه پتری برای بررسی آنها آشنا می‌کند. اصل اساسی نمودار تصمیم گیری باینری مرتب شده کاهش یافته (ROBDD) برای فشرده سازی فضای حالت مورد استفاده در این روش های بررسی مدل استفاده می شود.

این محتوا برای تست discovery و تکمیل داده نمایش داده می‌شود و تا زمان claim رسمی فروشگاه، به معنی تایید محتوای فروشنده توسط RQmarket نیست.

مشخصات کلیدی

نظرهای خرید تأییدشده در RQmarket

نظرات و امتیاز کاربران منبع

نام نمایشی و provenance منبع حفظ می‌شود، اما این رکوردها به customer ساختگی یا حساب RQmarket متصل نمی‌شوند. این بخش فقط‌خواندنی است.