Modal algebra and Petri nets
Modal algebra and Petri nets
复制标题
模态代数和 Petri 网
DOI：
10.1007/s00236-015-0216-3
复制
发表时间：
2015
期刊：
影响因子：
0.6
通讯作者：
B. Möller
中科院分区：
文献类型：
--
作者：
H.-H. Dang;B. Möller
我们使用目前已完善的模态半环设置来导出 Petri 网的模态代数。它基于分离逻辑的关系代数演算，能够以无点方式和抽象级别计算属性。基本上，我们从早期的 Petri 网逻辑方法开始，特别是使用模态框和菱形运算符来陈述有关此类网络状态空间的属性。我们提供逻辑公式的关系翻译，进一步允许以代数方式表征转换的一般行为。从关系结构中导出了 Petri 网常用属性的代数。特别是，我们给出了与典型使用的分离逻辑断言类的连接。此外，我们通过有关互斥体网络的标准示例的计算来证明代数方法的适用性。
We use the by now well established setting of modal semirings to derive a modal algebra for Petri nets. It is based on a relation-algebraic calculus for separation logic that enables calculations of properties in a pointfree fashion and at an abstract level. Basically, we start from an earlier logical approach to Petri nets that in particular uses modal box and diamond operators for stating properties about the state space of such a net. We provide relational translations of the logical formulas which further allow the characterisation of general behaviour of transitions in an algebraic fashion. From the relational structure an algebra for frequently used properties of Petri nets is derived. In particular, we give connections to typical used assertion classes of separation logic. Moreover, we demonstrate applicability of the algebraic approach by calculations concerning a standard example of a mutex net.
登录
查看更多内容
影响因子：
1
作者：
G. B. Guccia
通讯作者：
G. B. Guccia
模态知识和游戏半环
DOI：
--
发表时间：
2013
期刊：
Computer/law journal
影响因子：
--
作者：
B. Möller
通讯作者：
B. Möller
互斥锁需要公平性
影响因子：
0.5
作者：
E. Kindler;Rolf Walter
通讯作者：
Rolf Walter
定点微积分
影响因子：
0.5
作者：
C. Aarts;R. Backhouse;E. Boiten;Henk Doornbos;N. V. Gasteren;Rik van Geldrop;Paul F. Hoogendijk;Ed Voermans;J. V. D. Woude
通讯作者：
J. V. D. Woude
DOI：
--
发表时间：
1985
期刊：
影响因子：
--
作者：
E. Manes;D. B. Benson
通讯作者：
D. B. Benson