Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use

محتوای این جلد برنامه محور است. این جلد شامل ارائه مفصلی از 19 کاربرد شبکه های CP است که طیف وسیعی از حوزه های کاربردی را پوشش می دهد. اکثر پروژه ها در قالب یک مجموعه صنعتی انجام شده است. این جلد مهمترین ایده ها و تجربیات پروژه ها را ارائه می دهد، به گونه ای که برای خوانندگانی که هنوز تجربه شخصی با ساخت و تجزیه و تحلیل مدل های بزرگ CPN ندارند نیز مفید است. این حجم امکان استفاده از شبکه های CP و ابزارهای CPN را برای پروژه های صنعتی نشان می دهد. ارائه پروژه ها بر اساس مطالب ارائه شده توسط افرادی است که پروژه های فردی را انجام داده اند. در ابتدای هر فصل نام آنها را ذکر می کنیم و می گوییم که اصل مطلب کجا منتشر شده است. مطالب اصلی اغلب حاوی اطلاعات دقیق تری است، به عنوان مثال، در مورد جزئیات سیستم مدل سازی شده و کارهای مرتبط. من مطالب ارائه شده توسط نویسندگان اصلی را ویرایش کرده ام. من برخی از شبکه های CP را اصلاح کرده ام، به عنوان مثال، برای بهبود طرح و استفاده از نام های یادگاری بیشتر. در برخی موارد، من همچنین چند مؤلفه شبکه را تغییر داده ام، به عنوان مثال، دو انتقال را ادغام کرده یا یک تابع استاندارد ML را برای عملیاتی که در بسیاری از عبارات قوس استفاده می شود، معرفی کرده ام. این اصلاحات شبکه های CP را به عنوان مواد مطالعه مناسب تر می کند، اما رفتار اساسی مدل های CPN را تغییر نمی دهد.

The contents of this volume are application oriented. The volume contains a de­ tailed presentation of 19 applications of CP-nets, covering a broad range of ap­ plication areas. Most of the projects have been carried out in an industrial set­ ting. The volume presents the most important ideas and experiences from the projects, in a way which is useful also for readers who do not yet have personal experience with the construction and analysis of large CPN models. The volume demonstrates the feasibility of using CP-nets and the CPN tools for industrial projects. The presentation of the projects is based upon material provided by the per­ sons who have accomplished the individual projects. At the beginning of each chapter, we list their names and we say where the original material has been published. The original material often contains more elaborate information, e.g., about details of the modelled system and related work. I have edited the material provided by the original authors. I have modified some of the CP-nets, e.g., to improve the layout and use more mnemonic names. In some cases, I have also changed a few net components, e.g., merged two tran­ sitions or introduced a Standard ML function for operations that are used in many arc expressions. These modifications make the CP-nets more appropriate as study material, but they do not change the essential behaviour of the CPN models.