THE RESIDUE OF VECTOR SETS WITH APPLICATIONS TO DECIDABILITY PROBLEMS IN PETRI NETS

被引：53

|

作者：

VALK, R

JANTZEN, M

机构：

来源：

ACTA INFORMATICA | 1985年 / 21卷 / 06期

关键词：

D O I：

10.1007/BF00289715

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：643 / 674

页数：32

相关论文

共 50 条

[1] THE RESIDUE OF VECTOR SETS WITH APPLICATIONS TO DECIDABILITY PROBLEMS IN PETRI NETS
VALK, R
JANTZEN, M
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 188 : 234 - 258
[2] Decidability Problems in Petri Nets with Names and Replication
Rosa-Velardo, Fernando
de Frutos-Escrig, David
FUNDAMENTA INFORMATICAE, 2010, 105 (03) : 291 - 317
[3] DECIDABILITY QUESTIONS FOR FAIRNESS IN PETRI NETS
CARSTENSEN, H
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 247 : 396 - 407
[4] DECIDABILITY OF WEAK FAIRNESS IN PETRI NETS
JANCAR, P
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 349 : 446 - 457
[5] DECIDABILITY OF A TEMPORAL LOGIC PROBLEM FOR PETRI NETS
JANCAR, P
THEORETICAL COMPUTER SCIENCE, 1990, 74 (01) : 71 - 93
[6] On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
Yin, Xiang
Lafortune, Stephane
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (11) : 5931 - 5938
[7] Decidability of a temporal logic problem for Petri nets
Jancar, Petr, 1600, (74):
[8] Some decidability results for nested Petri nets
Lomazova, IA
Schnoebelen, P
PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 208 - 220
[9] Decidability and complexity of Petri nets with unordered data
Rosa-Velardo, Fernando
de Frutos-Escrig, David
THEORETICAL COMPUTER SCIENCE, 2011, 412 (34) : 4439 - 4451
[10] Mathematical Problems in Petri Nets Theory and Applications
Li, Zhiwu
Uzam, Murat
Liu, GuanJun
Frey, Georg
Tang, Ying
MATHEMATICAL PROBLEMS IN ENGINEERING, 2015, 2015

← 1 2 3 4 5 →