DECIDABILITY OF THE PETRI NET REACHABILITY PROBLEM

被引：0

|

作者：

BUDINAS, BL

机构：

来源：

AUTOMATION AND REMOTE CONTROL | 1988年 / 49卷 / 11期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：1393 / 1422

页数：30

相关论文

共 50 条

[1] SOME CONSEQUENCES OF THE DECIDABILITY OF THE REACHABILITY PROBLEM FOR PETRI NETS
LAMBERT, JL
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 340 : 266 - 282
[2] Petri Net Reachability Graphs: Decidability Status of FO Properties
Darondeau, Philippe
Demri, Stephane
Meyer, Roland
Morvan, Christophe
[J]. IARCS ANNUAL CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2011), 2011, 13 : 140 - 151
[3] AN ALGORITHM FOR THE GENERAL PETRI NET REACHABILITY PROBLEM
MAYR, EW
[J]. SIAM JOURNAL ON COMPUTING, 1984, 13 (03) : 441 - 460
[4] PETRI NET REACHABILITY GRAPHS: DECIDABILITY STATUS OF FIRST-ORDER PROPERTIES
Darondeau, Philippe
Demri, Stephane
Meyer, Roland
Morvan, Christophe
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (04)
[5] The Decidability of the Reachability Problem for CCS!
He, Chaodong
[J]. CONCUR 2011: CONCURRENCY THEORY, 2011, 6901 : 373 - 388
[6] A graph theoretic approach to reachability problem with Petri net unfoldings
Miyamoto, T
Kumagai, S
[J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1996, E79A (11) : 1809 - 1816
[7] A primitive recursive algorithm for the general Petri net reachability problem
Bouziane, Z
[J]. 39TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 1998, : 130 - 136
[8] Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
Ma, Ziyue
Tong, Yin
Li, Zhiwu
Giua, Alessandro
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (03) : 1078 - 1093
[9] Bouziane's transformation of the Petri net reachability problem and incorrectness of the related algorithm
Jancar, Petr
[J]. INFORMATION AND COMPUTATION, 2008, 206 (11) : 1259 - 1263
[10] DECIDABILITY OF THE REACHABILITY PROBLEM FOR PUSHDOWN RELATIONAL AUTOMATA
AUZINSH, AI
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 1984, 10 (03) : 107 - 114

← 1 2 3 4 5 →