A SURVEY ON THE DECIDABILITY QUESTIONS FOR CLASSES OF FIFO NETS

被引：0

|

作者：

FINKEL, A

ROSIER, L

机构：

[1] UNIV MONTREAL, MONTREAL H3C 3J7, QUEBEC, CANADA

[2] CTR RECH INFORMAT MONTREAL, MONTREAL H3G 1N2, QUEBEC, CANADA

[3] UNIV TEXAS, DEPT COMP SCI, AUSTIN, TX 78712 USA

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 340卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：106 / 132

页数：27

相关论文

共 50 条

[1] DECIDABILITY QUESTIONS FOR FAIRNESS IN PETRI NETS
CARSTENSEN, H
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 247 : 396 - 407
[2] AN INTRODUCTION TO FIFO NETS - MONOGENEOUS NETS - A SUBCLASS OF FIFO NETS
MEMMI, G
FINKEL, A
THEORETICAL COMPUTER SCIENCE, 1985, 35 (2-3) : 191 - 214
[3] TRANSLATABILITY AND DECIDABILITY QUESTIONS FOR RESTRICTED CLASSES OF PROGRAM SCHEMAS
WEYUKER, EJ
SIAM JOURNAL ON COMPUTING, 1979, 8 (04) : 587 - 598
[4] FIFO-NETS
ROUCAIROL, G
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 254 : 436 - 459
[5] FIFO NETS WITHOUT ORDER DEADLOCK
FINKEL, A
CHOQUET, A
ACTA INFORMATICA, 1988, 25 (01) : 15 - 36
[6] SOME QUESTIONS OF RATIONALITY AND DECIDABILITY
SONTAG, ED
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1975, 11 (03) : 375 - 381
[7] DECIDABILITY OF WEAK FAIRNESS IN PETRI NETS
JANCAR, P
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 349 : 446 - 457
[8] Reset nets between decidability and undecidability
Dufourd, C
Finkel, A
Schnoebelen, P
AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 103 - 115
[9] Decidability classes for mobile agents computing
Fraigniaud, Pierre
Pelc, Andrzej
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2017, 109 : 117 - 128
[10] Soundness of workflow nets: classification, decidability, and analysis
van der Aalst, W. M. P.
van Hee, K. M.
ter Hofstede, A. H. M.
Sidorova, N.
Verbeek, H. M. W.
Voorhoeve, M.
Wynn, M. T.
FORMAL ASPECTS OF COMPUTING, 2011, 23 (03) : 333 - 363

← 1 2 3 4 5 →