Petri Nets: Applications and Relationships to Other Models of Concurrency: Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986

جلد حاضر دومین بخش از دو بخش است که مجموعه مقالات دوره پیشرفته 1986 در شبکه های پتری در باد هانف را تشکیل می دهد. این کتاب ابزارهایی را که از طراحی شبکه‌های پتری پشتیبانی می‌کنند و همچنین اصلاح و تجزیه و تحلیل آن‌ها را مورد بحث قرار می‌دهد، کاربردهای متنوعی را ارائه می‌دهد و رابطه شبکه‌های پتری را با سایر مدل‌های همزمان پوشش می‌دهد. این شماره‌های جاری «پیشرفت‌ها در شبکه‌های پتری» مهم‌ترین نتایج اخیر را در کاربرد و تئوری شبکه‌های پتری به جامعه وسیع علوم رایانه ارائه می‌کند. آنها به ویژه کسانی را مورد خطاب قرار می دهند که: - علاقه مند به طراحی سیستم ها هستند و مایلند استفاده از شبکه های پتری را یاد بگیرند، - با زیر حوزه های تئوری یا کاربردهای شبکه ها آشنا هستند و مایلند با کل منطقه آشنا شوند، - علاقه مند به یادگیری در مورد اخیر هستند. نتایج ارائه شده در یک چارچوب یکپارچه، - یادگیری در مورد کاربرد موفقیت آمیز شبکه های پتری در - موقعیت های عملی مختلف، - علاقه مند به ارتباط شبکه های پتری با سایر مدل های سیستم های همزمان.

The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship of petri nets to other concurrency models. These current issues of the "Advances in Petri Nets" present the most significant recent results in the application and theory of petri nets to the broad computer science community. They particularly address those who are: - interested in systems design and would like to learn to use petri nets, - familiar with subareas of the theory or the applications of nets and wish to become acquainted with the whole area, - interested in learning about recent results presented within a unified framework, - going to learn about successfully applying petri nets in - various practical situations, - interested in the relationship of petri nets to other models of concurrent systems.