Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986

شبکه های پتری نشان دهنده تلاشی طولانی و پایدار برای توسعه مفاهیم، ​​تئوری ها و ابزارهایی برای کمک به طراحی و تجزیه و تحلیل سیستم های همزمان است. آنها در بسیاری از زمینه‌های علوم کامپیوتر از جمله مهندسی نرم‌افزار، پایگاه داده و در سیستم‌های تشکیل، معماری کامپیوتر و سیستم‌های عامل، پروتکل‌های ارتباطی و شبکه‌های کامپیوتری، کنترل فرآیند و سیستم‌های اجتماعی و فنی مانند ارتباطات اداری و تعامل انسان و ماشین استفاده می‌شوند. تئوری کاملاً قابل توجهی برای شبکه های پتری ایجاد شده است. تمام حوزه‌های مشکل اصلی سیستم‌های توزیع‌شده همزمان را منعکس می‌کند و بسیاری از اصول و تکنیک‌های تجزیه و تحلیل موفقیت‌آمیز برای سازمان‌دهی سیستم‌ها را پوشش می‌دهد. از زمانی که C. A. Petri ایده های اصلی خود را ارائه کرده است، مجموعه ای غنی از دانش توسعه یافته است - کتابشناسی اخیر (در Advances in Petri Nets 1981) شامل بیش از 2000 مدخل است. قبلاً در سال 1979 یک دوره پیشرفته در شبکه های پتری در هامبورگ، آلمان غربی سازماندهی شد که هدف آن نظام مند کردن دانش موجود و قابل دسترس کردن آن برای مخاطبان وسیعی از دانشمندان کامپیوتر علاقه مند به نظریه و کاربردهای سیستم های همزمان بود. این دوره از این نظر موفق بوده است که تحقیقات جدید زیادی را در زمینه کاربردها و نظریه شبکه های پتری آغاز کرده است. این منجر به یک دوره پیشرفته دیگر در سال 1986 در باد هونف، آلمان غربی شد - جایی که در طی دو هفته بیش از 30 سخنرانی ارائه شد که مهمترین تحولات جاری در منطقه پتری نتس را پوشش می داد.

Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of computer science including software engineering, data base and in­ formation systems, computer architecture and operating systems, communication protocols and computer networks, process control, and socio-technical systems such as office communication and man-machine interaction. Quite substantial theory has been developed for Petri Nets. It reflects all major problem areas of concurrent distributed systems and covers many successfully applied principles and analysis techniques for systems organisation. Since the time that C. A. Petri has presented his original ideas, a rich body of knowledge has been developed-a recent bibliography (in Advances in Petri Nets 1981) includes more than 2000 entries. Already in 1979 an Advanced Course on Petri Nets was organized in Hamburg, West Germany, aiming at systematizing the existing knowledge and making it well accessible to a wide audience of computer scientists interested in theory and applications of concurrent systems. This course has turned out to be successful in the sense that it has initiated a lot of new research into applications and theory of Petri Nets. This had led to· another Advanced Course in 1986 in Bad Honnef, West Germany - where during two weeks more than 30 lectures were presented covering the most important current developments in the area of Petri Nets.