反应式系统的并发模型(Ⅲ)—Petri网模型 (1998年)

【文件属性】：

文件名称：反应式系统的并发模型(Ⅲ)—Petri网模型 (1998年)

文件大小：212KB

文件格式：PDF

更新时间：2024-05-17 22:16:28

自然科学 论文

基于文[2，3]，引入反应式系统形式化描述的另一种典型模型—Petri网，给出一些重要性质的Petri网描述，建立了它与文[2]的抽象计算模型之间的映射关系，最后指出Petri网的一些不足之处。