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

共 50 条

[1] Propositional dynamic logic for Petri nets
Lopes, Bruno
Benevides, Mario
Haeusler, Edward Hermann
[J]. LOGIC JOURNAL OF THE IGPL, 2014, 22 (05) : 721 - 736
[2] Extending Propositional Dynamic Logic for Petri Nets
Lopes, Bruno
Benevides, Mario
Haeusler, Edward Hermann
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2014, 305 : 67 - 83
[3] THE UNDECIDABILITY OF PROPOSITIONAL TEMPORAL LOGIC FOR PETRI NETS
CHERKASOVA, LA
KOTOV, VE
[J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1987, 6 (02): : 123 - 130
[4] Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach
Benevides, Mario
Lopes, Bruno
Haeusler, Edward Hermann
[J]. THEORETICAL COMPUTER SCIENCE, 2018, 744 : 22 - 36
[5] Reductions of Petri nets and unfolding of propositional logic programs
Fribourg, L
Olsen, H
[J]. LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION, 1997, 1207 : 187 - 203
[6] PETRI NETS IN LOGIC
DOMENICI, A
[J]. MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 193 - 198
[7] Constructing Petri Nets Model for Dynamic Description Logic Actions
Ma, Bing-xian
Xu, Ying-lei
[J]. PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON EDUCATION TECHNOLOGY AND COMPUTER SCIENCE, VOL III, 2009, : 753 - +
[8] Expansion Nets: Proof-Nets for Propositional Classical Logic
McKinley, Richard
[J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 535 - 549
[9] Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic
Lopes, Bruno
Nalon, Claudia
Haeusler, Edward Hermann
[J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2021, 22 (02)
[10] PETRI NETS AS MODELS OF LINEAR LOGIC
ENGBERG, U
WINSKEL, G
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 431 : 147 - 161

← 1 2 3 4 5 →