U.S. - European Workshop: Software Engineering and Petri Nets, Aarhus, Denmark, June 26, 2000

0072954Shatz该奖项支持伊利诺伊大学芝加哥分校的Sol Shatz和几名从美国国内的广泛群体中挑选出来的初级研究人员，他们将参加在丹麦奥胡斯举行的欧洲软件工程研讨会。研讨会由意大利米兰理工大学的马里奥·佩泽在欧洲一侧组织。美国研究人员将与来自欧洲各地的科学家一起讨论如何使用Petri网和其他形式化方法来构建软件系统。Petri网是一种成熟的并发系统建模方法，被广泛传授。不过，组织者将采取更广泛的观点，并将重点放在他们的正式模型在构建真正的软件系统中的应用上。该讲习班是在第21届国际佩里网络应用和理论会议的同时举行的。

0072954ShatzThis award supports Sol Shatz of the University of Illinois-Chicago and several junior researchers chosen from a broad group within the United States to attend a European Workshop on Software Engineering in Aarhus, Denmark. The workshop is being organized on the European side by Mario Pezze of the Polytechnic University in Milan, Italy. US researchers will join with scientists from all over Europe to discuss the use of Petri nets and other formal methods for the construction of software systems. Petri nets are a well-established method for modeling concurrent systems, and they are widely taught. The organizers are taking a broader view, though, and will focus attention on the application of their formal models to the building of real software systems. The workshop is being held in conjunction with the 21st International Conference on Application and theory of Petri Nets.