Propositional Dynamic Logic for Petri Nets with Iteration

被引：1

作者：

Benevides, Mario R. F. ^{[1
]}

Lopes, Bruno ^{[2
]}

Haeusler, Edward Hermann ^{[3
]}

机构：

[1] Univ Fed Rio de Janeiro, PESC, Inst Matemat, COPPE, Rio De Janeiro, Brazil

[2] Univ Fed Fluminense, Inst Comp, Niteroi, RJ, Brazil

[3] Pontificia Univ Catolica Rio de Janeiro, Dept Informat, Rio De Janeiro, Brazil

来源：

THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016 | 2016年 / 9965卷

关键词：

Propositional dynamic logic; Petri nets; Modal logic;

D O I：

10.1007/978-3-319-46750-4_25

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This work extends our previous work [20] with the iteration operator. This new operator allows for representing more general networks and thus enhancing the former propositional logic for Petri Nets. We provide an axiomatization and a new semantics and prove soundness and completeness with respect with its semantics. In order to illustrate its usage, we also provide some examples.

引用

页码：441 / 456

页数：16