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

美国 - 欧洲研讨会：软件工程和 Petri Nets，丹麦奥胡斯，2000 年 6 月 26 日

• 批准号: 0072954
• 负责人: Sol Shatz
• 金额: $ 1.26万
• 依托单位: University of Illinois at Chicago
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-05-01 至 2001-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0072954&HistoricalAwards=false
• 关键词: U.S.; European; Workshop; Software; Engineering

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.

0072954Shatz这个奖项支持伊利诺斯-芝加哥大学的Sol Shatz和几个从美国广泛的团体中选出的初级研究人员参加在丹麦奥胡斯举行的欧洲软件工程研讨会。欧洲方面的研讨会由意大利米兰理工大学的Mario Pezze组织。美国研究人员将与来自欧洲各地的科学家一起讨论使用Petri网和其他正式方法来构建软件系统。Petri网是一种建立良好的并发系统建模方法，并且被广泛教授。不过，组织者的视野更广阔，他们将把注意力集中在将正式模型应用于构建真正的软件系统上。该讲习班与第21届国际Petri网应用与理论会议同时举行。