法尔科·鲍斯 关于具有静态优先级的Petri网的分析。 （英语） Zbl 0849.68086号 学报信息。 33，第7期，669-685（1996）. 优先级规范提供了一种方便的描述技术，用于解决冲突，支持特定操作。优先级除了用于描述系统的功能行为外，在使用随机Petri网进行性能分析的领域中也变得很重要。在这里，它们是隐式给出的，因为转换是立即的和定时的。在这种随机Petri网的性能分析中，诸如活性和家乡状态的存在等特定属性是非常重要的，因为它们确保了基于马尔科夫分析的适用性。由于已经为没有优先级的Petri网开发了几种有效的分析技术，我们的兴趣在于也将这些技术用于优先级情况。本文表明，如果对优先级关系施加一个简单的条件，则对于具有静态优先级的网络，网络的积极性质（如活性和主状态的存在性）也成立。审核人：F.Bause（多特蒙德） 引用于6文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 68平方米 计算机系统环境下的性能评估、排队和调度 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：优先级规范;功能性行为;性能分析;随机Petri网;活泼;母国的存在;基于马尔科夫的分析 PDF格式BibTeX公司 XML格式 全文： 内政部