Compositional semantics for unmarked predicate/transition nets

被引：0

作者：

Schettini, A.Maggiolo ^{[1
]}

Pina, G.M. ^{[1
]}

Winkowski, J. ^{[1
]}

机构：

[1] Universita di Pisa, Pisa, Italy

来源：

Fundamenta Mathematicae | 1991年 / 14卷 / 01期

关键词：

17;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：109 / 128

共 50 条

[21] THE SEMANTICS OF PREDICATE NOMINALS
DORON, E
LINGUISTICS, 1988, 26 (02) : 281 - 301
[22] A Method to Analyze Predicate Transition Nets Using SPIN Model Checker
Alam, Dewan Mohammad Moksedul
He, Xudong
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2017, 27 (9-10) : 1455 - 1481
[23] A TEMPORAL LOGIC APPROACH FOR ANALYZING SAFETY PROPERTIES OF PREDICATE TRANSITION NETS
HE, XD
DING, YG
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 127 - 133
[24] Verification of knowledge-based systems using predicate/transition nets
Shen, Victor R. L.
Juang, Tony Tong-Ying
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 38 (01): : 78 - 87
[25] LIVENESS AND DUALITY IN MARKED-GRAPH-LIKE PREDICATE TRANSITION NETS
LAUTENBACH, K
PAGNONI, A
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 188 : 331 - 352
[26] Translating hierarchial predicate transition nets to CC++ program skeletons
He, XD
Yao, WL
COMPSAC 97 : TWENTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1997, : 60 - 65
[27] Modelling biological processes using differential predicate transition Petri nets
Tomiyama, Michele Nasu
Julia, Stephane
2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8, 2007, : 1717 - 1722
[28] COMPOSITIONAL SEMANTICS OF PURE PLACE TRANSITION-SYSTEMS
MAZURKIEWICZ, A
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 340 : 307 - 330
[29] A compositional semantics for statecharts using labeled transition systems
Uselton, AC
Smolka, SA
CONCUR '94: CONCURRENCY THEORY, 1994, 836 : 2 - 17
[30] TEMPORAL PREDICATE TRANSITION NETS - A NEW FORMALISM FOR SPECIFYING AND VERIFYING CONCURRENT SYSTEMS
HE, XD
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1992, 45 (3-4) : 171 - 184

← 1 2 3 4 5 →