High-level Petri Nets: Theory and Application

شبکه‌های پتری سطح بالا اکنون به طور گسترده در تحلیل نظری و مدل‌سازی عملی سیستم‌های همزمان استفاده می‌شوند. دلیل اصلی موفقیت این دسته از مدل‌های شبکه این است که آنها به دست آوردن توضیحات بسیار مختصر و قابل مدیریت‌تری نسبت به شبکه‌های پتری سطح پایین امکان‌پذیر می‌سازند، در حالی که از سوی دیگر، آنها هنوز هم ارائه می‌دهند. طیف گسترده ای از روش ها و ابزارهای تجزیه و تحلیل مرحله از شبکه های سطح پایین به شبکه های سطح بالا را می توان با مرحله از زبان های اسمبلی به زبان های برنامه نویسی مودم با مفهوم نوع پیچیده مقایسه کرد. در شبکه های سطح پایین تنها یک نوع نشانه وجود دارد و این بدان معنی است که وضعیت یک مکان با یک عدد صحیح (و در بسیاری موارد حتی با یک مقدار بولی) توصیف می شود. در شبکه های سطح بالا، هر توکن می تواند اطلاعات پیچیده ای را حمل کند که، مانند. g. ، ممکن است کل وضعیت یک فرآیند یا یک پایگاه داده را توصیف کند. امروزه بیشتر کاربردهای عملی تورهای پتری از یکی از انواع مختلف شبکه های سطح بالا استفاده می کنند. مجموعه قابل توجهی از دانش در مورد شبکه های پتری سطح بالا وجود دارد که شامل مبانی نظری، روش های تجزیه و تحلیل و بسیاری از کاربردها می شود. متأسفانه، مقالات مربوط به شبکه های پتری سطح بالا در مجلات و مجموعه های مختلف پراکنده شده است. در نتیجه، بسیاری از این دانش به راحتی در دسترس افرادی نیست که ممکن است علاقه مند به استفاده از شبکه های سطح بالا باشند.

High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make it possible to obtain much more succinct and manageable de­ scriptions than can be obtained by means of low-level Petri nets-while, on the other hand, they still offer a wide range of analysis methods and tools. The step from low-level nets to high-level nets can be compared to the step from assembly languages to modem programming languages with an elaborated type concept. In low-level nets there is only one kind of token and this means that the state of a place is described by an integer (and in many cases even by a boolean value). In high-level nets each token can carry complex information which, e. g. , may describe the entire state of a process or a data base. Today most practical applications of Petri nets use one of the different kinds of high-level nets. A considerable body of knowledge exists about high-level Petri nets­ this includes theoretical foundations, analysis methods and many applications. Unfortunately, the papers on high-level Petri nets have been scattered throughout various journals and collections. As a result, much of this knowledge is not readily available to people who may be interested in using high-level nets.