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 条

[31] Experiences with colored predicate-transition nets for specifying and prototyping embedded systems
Ebert, C
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1998, 28 (05): : 641 - 652
[32] Experiences with colored predicate-transition nets for specifying and prototyping embedded systems
Alcatel, Antwerp, Belgium
IEEE Trans Syst Man Cybern Part B Cybern, 5 (641-652):
[33] Decomposing service definition in predicate/transition-nets for designing distributed systems
Yamaguchi, H
von Bochmann, G
Higashino, T
FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2003, 2003, 2767 : 399 - 414
[34] Modeling and analyzing multi-agent behaviors using predicate/transition nets
Xu, DX
Volz, RA
Ioerger, TR
Yen, J
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2003, 13 (01) : 103 - 124
[35] The "semantics of prototypes" and the typical predicate
Gonzalez Escribano, Jose Luis
ARCHIVUM, 2008, (58-59): : 123 - 163
[36] Tractarian semantics for predicate logic
Miller, H
HISTORY AND PHILOSOPHY OF LOGIC, 1995, 16 (02) : 197 - 215
[37] Comparing truly concurrent semantics for contextual place/transition nets
2000, IOS Press (44)
[38] Process versus unfolding semantics for place/transition Petri nets
Meseguer, J
Montanari, U
Sassone, V
THEORETICAL COMPUTER SCIENCE, 1996, 153 (1-2) : 171 - 210
[39] A (Timed) State-Transition Semantics for Reflective Petri Nets
Capra, Lorenzo
PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, 2009, : 164 - 170
[40] PROVING PROPERTIES OF A NEW HIGH-SPEED DATA BUS WITH PREDICATE TRANSITION NETS
PYSSYSALO, T
MICROPROCESSING AND MICROPROGRAMMING, 1994, 40 (10-12): : 791 - 794

← 1 2 3 4 5 →