克里斯蒂安·克劳斯;霍尔格·吉斯 概率图变换系统。 （英文） Zbl 1367.68142号 Ehrig，Hartmut（编辑）等人，《图形变换》。2012年9月24日至29日在德国不来梅举行的2012年第六届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33653-9/pbk）。计算机科学课堂讲稿7562311-325（2012）。 摘要：近年来，具有实时性和随机性等定量特性的图变换系统的扩展受到了广泛关注。本文描述了概率图变换系统（PGTS）的一种新的定量建模方法，该方法将概率行为纳入到图变换系统中。在其他应用中，PGTS允许对分布式和移动系统中的随机协议以及具有按需概率故障（例如不可靠通信介质中的消息丢失）的系统进行建模。我们根据马尔可夫决策过程定义了PGTS的语义，并使用概率模型检查对有限状态PGTS模型进行定量分析。我们提供了使用Henshin和Prism进行建模和分析的工具支持，并讨论了无线传感器网络的概率广播案例研究。关于整个系列，请参见[兹比尔1246.68030]. 引用于8文件 MSC公司： 2012年第68季度 语法和重写系统 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 软件：棱镜;莫德;变身;沟槽;PMaude公司 PDF格式BibTeX公司 XML格式引用 \textit{C.克劳斯}和\textit{H.吉斯}，莱克特。注释计算。科学。7563211-325（2012年；兹bl 1367.68142） 全文： 内政部