Advances in Petri Nets 1990

ایده اصلی پشت سری مجلدات پیشرفتها در پتریNets ارائه نتایج اخیر به جامعه عمومی علوم کامپیوتر است که نماینده ترین و مهم ترین نتایج برای توسعه هستند. از منطقه مقالات این مجلد عمدتاً از کنفرانس‌های بین‌المللی سالانه کاربردها و نظریه شبکه‌های پتری گرفته شده‌اند. مقالات منتخب از آخرین کنفرانس به طور مستقل داوری می شوند و در صورت لزوم تجدید نظر و توسعه می یابند. برخی از مقالات دیگر که مستقیماً به سردبیر ارسال می شوند شامل می شوند. پیشرفت‌ها در شبکه‌های پتری 1990 دهمین کنفرانس بین‌المللی کاربردها و تئوری شبکه‌های پتری را پوشش می‌دهد که در بن، آلمان، در ژوئن 1989 برگزار شد. نکات برجسته اضافی این جلد شامل آموزش اصلاحات شبکه‌های پتری توسط W. Brauer، R. Gold، و W. Vogler، و یک آموزش در مورد تجزیه و تحلیل و سنتز سیستم های انتخاب آزاد توسط J. Esparza و M. Silva، هر دو در چارچوب ESPRIT Basic Research Actions Project DEMON تهیه شده است.

The main idea behind the series of volumes Advances in PetriNets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. The papers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1990 covers the Tenth International Conference on Applications and Theory of Petri Nets held in Bonn, Germany, in June 1989. Additional highlights of this volume include a tutorial on refinements of Petri nets by W. Brauer, R. Gold, and W. Vogler, and a tutorial on analysis and synthesis of free choice systems by J. Esparza and M. Silva, both prepared in the framework of the ESPRIT Basic Research Actions Project DEMON.