توضیحات
This book presents a new algebraic system whose interpretation coincides with the behaviour of Petri nets, enhanced with an inhibitory mechanism and four time models. Its goal is to provide a formal means of modelling dynamic tasks, and of testing and verifying properties, in contexts characterised by the parallel execution of actions. However, the task description differs from that of Petri nets. The algebra is a quasi-semiring, quasi because of its somewhat restricted distributivity axiom. Expressions of this algebra, the causeeffect structures, have a graphic presentation as nets, but with one kind of named nodes, each annotated by two expressions that specify the type of signal reception from predecessors and transmission to successors. Many structural and behavioural properties are stated with proofs, and illustrative sample tasks are included. The book is intended for all those interested or involved in parallel and distributed computing students, researchers and practitioners alike.
————————————————————–
ترجمه ماشینی :
این کتاب یک سیستم جبری جدید را ارائه میکند که تفسیر آن با رفتار شبکههای پتری منطبق است، که با مکانیزم بازدارنده و چهار مدل زمانی بهبود یافته است. هدف آن ارائه یک ابزار رسمی برای مدلسازی وظایف پویا، و آزمایش و تأیید ویژگیها، در زمینههایی است که با اجرای موازی اقدامات مشخص میشوند. با این حال، شرح وظایف با تورهای پتری متفاوت است. جبر یک شبه semiring، شبه به دلیل تا حدودی بدیهی توزیع محدود آن است. عبارات این جبر، ساختارهای علت علت، یک نمایش گرافیکی به عنوان شبکه دارند، اما با یک نوع گره نامگذاری شده، که هر کدام با دو عبارت حاشیهنویسی میشوند که نوع دریافت سیگنال از پیشینیان و ارسال به جانشینها را مشخص میکنند. بسیاری از ویژگیهای ساختاری و رفتاری با اثباتها بیان شدهاند، و نمونههای توضیحی نیز شامل میشوند. این کتاب برای تمام کسانی که علاقه مند یا درگیر در محاسبات موازی و توزیع شده، دانشجویان، محققان و پزشکان هستند در نظر گرفته شده است.
tag : دانلود کتاب ساختارهای علت و معلولی: جبری از شبکه ها با نمونه هایی از کاربردها , Download ساختارهای علت و معلولی: جبری از شبکه ها با نمونه هایی از کاربردها , دانلود ساختارهای علت و معلولی: جبری از شبکه ها با نمونه هایی از کاربردها , Download Cause-Effect Structures: An Algebra of Nets with Examples of Applications Book , ساختارهای علت و معلولی: جبری از شبکه ها با نمونه هایی از کاربردها دانلود , buy ساختارهای علت و معلولی: جبری از شبکه ها با نمونه هایی از کاربردها , خرید کتاب ساختارهای علت و معلولی: جبری از شبکه ها با نمونه هایی از کاربردها , دانلود کتاب Cause-Effect Structures: An Algebra of Nets with Examples of Applications , کتاب Cause-Effect Structures: An Algebra of Nets with Examples of Applications , دانلود Cause-Effect Structures: An Algebra of Nets with Examples of Applications , خرید Cause-Effect Structures: An Algebra of Nets with Examples of Applications , خرید کتاب Cause-Effect Structures: An Algebra of Nets with Examples of Applications ,
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.