Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach

被引：2

作者：

Benevides, Mario ^{[1
]}

Lopes, Bruno ^{[2
]}

Haeusler, Edward Hermann ^{[3
]}

机构：

[1] Univ Fed Rio de Janeiro, Programa Engn Sistemas & Comp, 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 COMPUTER SCIENCE | 2018年 / 744卷

关键词：

Dynamic Logic; Petri nets; Modal Logic;

D O I：

10.1016/j.tcs.2018.01.007

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This work extends our previous work [4,22] 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, prove soundness and completeness with respect to its semantics and the EXPTIME-Hardness of its satisfiability problem, present a linear model checking algorithm and show that its satisfiability problem is in 2EXPTIME. In order to illustrate its usage, we also provide some examples. (C) 2018 Elsevier B.V. All rights reserved.

引用

页码：22 / 36

页数：15

共 34 条

[1]

[Anonymous], THESIS

[2]

[Anonymous], 1962, COMMUN ACM

[3]

[Anonymous], 2004, REASONING KNOWLEDGE, DOI DOI 10.7551/MITPRESS/5803.001.0001

[4]

Balbiani P., 2003, J APPL NONCLASSICAL, V13, P231, DOI DOI 10.3166/JANCL.13.231-276

[5] A Propositional Dynamic Logic for CCS programs [J].

Benevides, Mario R. F. ;

Schechter, L. Menasche .

LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2008, 5110 :83-97

[6] Propositional Dynamic Logic for Petri Nets with Iteration [J].

Benevides, Mario R. F. ;

Lopes, Bruno ;

Haeusler, Edward Hermann .

THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, 2016, 9965 :441-456

[7]

Blackburn P., 2001, MODAL LOGIC THEORET

[8]

Braga Christiano, 2016, LECT NOTES COMPUT SC

[9]

de Almeida E. S., 1999, PETRI NET NEWSLETTER, V57, P23

[10]

DEGIACOMO G, 1994, PROCEEDINGS OF THE TWELFTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, P205

← 1 2 3 4 →