Pombortsis，A。；梅诺斯，A。 使用时间Petri网对一类资源共享互连网络进行建模。 （英文） Zbl 0809.68044号 计算。系统。科学。工程师。 9，第3期，155-163（1994）. 摘要：我们研究了将主机多处理器体系结构与专用资源池互连的问题。本文使用具有确定触发时间的广义随机Petri网（DSPN）对基于总线的资源共享互连网络（RSIN）进行建模，这是一类定时Petri网模型，其中确定触发延迟分配给启用的转换。为了验证软件实现的模型，还进行了近似理论分析。最后，对DSPN建模和分析结果进行了比较。 MSC公司： 68M10个 计算机系统中的网络设计和通信 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：广义随机Petri网；主机多处理器体系结构 PDF格式BibTeX公司 XML格式引用 \textit{A.Pombortsis}和\textit{A.Menos}，计算。系统。科学。Eng.9，No.3，155--163（1994；Zbl 0809.68044）