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

共 31 条

[1]

[Anonymous], THESIS

[2]

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

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

Benevides, Mario R. F. ;

Schechter, L. Menasche .

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

[4]

Blackburn P., 2001, MODAL LOGIC THEORETI

[5]

Braga Christiano, 2016, Formal Methods: Foundations and Applications. 18th Brazilian Symposium, SBMF 2015. Proceedings: LNCS 9526, P74, DOI 10.1007/978-3-319-29473-5_5

[6]

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

[7]

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

[8] DAL - A LOGIC FOR DATA-ANALYSIS [J].

DELCERRO, LF ;

ORLOWSKA, E .

THEORETICAL COMPUTER SCIENCE, 1985, 36 (2-3) :251-264

[9]

Fagin Ronald, 2004, REASONING KNOWLEDGE, DOI DOI 10.7551/MITPRESS/5803.001.0001

[10]

Gargov G., 1990, Mathematical Logic, P299, DOI [DOI 10.1007/978-1-4613-0609-2_21, 10.1007/978-1-4613-0609-221, DOI 10.1007/978-1-4613-0609-221]

← 1 2 3 4 →