阿卜杜勒克里姆·阿卜杜利;纳吉布·巴达奇 建立TSPN模型的状态类图。 （英语） Zbl 1154.68083号 芬丹。通知。 86，第4号，371-409（2008）. 摘要：在本文中，我们提出了一种枚举方法来构建TSPN（时间流Petri网）模型的状态类图。TSPN模型是一个Petri网，在弧上增加了区间，在过渡上增加了同步规则。它可以用来建模复杂系统，并且被证明比TPN（时间Petri网）更具表现力。与TPN不同的是，图中每个可访问的类都是成对的（M，D），其中M是标记，D是DBM不等式系统，这种形式的TSPN类的计算要复杂得多。为了解决这个问题，我们引入了一种称为时间距离函数的新形式来定义TSPN类。此函数可以确定一个高效算法，以在平方复杂度时间内计算每类图。最后，我们展示了如何利用TSPN状态类图（当有限时）来检查模型的线性属性，或计算任何触发序列的最小和最大时间距离。 引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：克洛诺斯;罗密欧 PDF格式BibTeX公司 XML格式引用 \textit{A.Abdelli}和\textit{N.Badache}，Fundam。通知。86，第4号，371--409（2008；Zbl 1154.68083）