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 条
  • [1] PREDICATE TRANSITION NETS
    GENRICH, HJ
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 254 : 207 - 247
  • [2] Compositional Predicate Abstraction from Game Semantics
    Bakewell, Adam
    Ghica, Dan R.
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2009, 5505 : 62 - 76
  • [3] Stochastic individual predicate/transition nets
    Yao Yue
    Chun-ming Zhang
    Hai-xin Wang
    Guo-qiang Bai
    Hong-yi Chen
    Journal of Zhejiang University-SCIENCE A, 2009, 10 : 165 - 171
  • [4] Stochastic individual predicate/transition nets
    Yao YUE
    Journal of Zhejiang University(Science A:An International Applied Physics & Engineering Journal), 2009, 10 (02) : 165 - 171
  • [5] Stochastic individual predicate/transition nets
    Yue, Yao
    Zhang, Chun-ming
    Wang, Hai-xin
    Bai, Guo-qiang
    Chen, Hong-yi
    JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE A, 2009, 10 (02): : 165 - 171
  • [6] A compositional petri nets semantics for basic lotos
    Department of Computer Science, USTO, Algeria
    Inf. Technol. J., 2007, 1 (110-116):
  • [7] On the semantics of place/transition nets
    Morin, R
    Rozoy, B
    CONCUR '99: CONCURRENCY THEORY, 1999, 1664 : 447 - 462
  • [8] PARAMETERIZED REACHABILITY TREES FOR PREDICATE TRANSITION NETS
    LINDQVIST, M
    ACTA POLYTECHNICA SCANDINAVICA-MATHEMATICS AND COMPUTER SCIENCE SERIES, 1989, (54): : 1 - 120
  • [9] A COMPOSITIONAL DATA-FLOW SEMANTICS FOR PETRI NETS
    GOLD, R
    ACTA INFORMATICA, 1995, 32 (07) : 627 - 645
  • [10] PASIPP - A TOOL FOR A ANALYZING AND SIMULATING PREDICATE/TRANSITION NETS
    OBERWEIS, A
    SEIB, J
    LAUSEN, G
    WIRTSCHAFTSINFORMATIK, 1991, 33 (03): : 219 - 230
12345