多纳泰利，S。；坎佩尔，P。 将同步与优先级集成到Kronecker表示中。 （英语） Zbl 1013.68127号 执行。评估。 44，编号1-4，73-96（2001）. 摘要：根据叠加广义随机Petri网或随机自动机网络的组合模型表示，使用Kronecker代数对马尔可夫链进行组合表示已有一段时间的研究。在本文中，我们描述了一个Kronecker表达式和相关的数据结构，它允许处理具有不同优先级活动同步的网络。为这些结构提供了新的算法来执行雅可比或高斯-赛德尔类型的迭代求解方法。这些算法在APNN工具箱中实现。我们将此实现与GreatSPN结合使用，并使用一个示例来说明所提出算法的特性。 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 65年第68季度 形式语言和自动机 关键词：马尔可夫链；克罗内克代数；随机Petri网；随机自动机网络；APNN工具箱 软件：GreatSPN公司；GreatSPN 1.7；APNN-工具箱 PDF格式BibTeX公司 XML格式引用 \textit{S.Donatelli}和\textit{P.Kemper}，执行评估。44，编号1--4，73-96（2001；Zbl 1013.68127） 全文： DOI程序