PETRI NETS IN LOGIC

被引：0
|
作者：
DOMENICI, A [1 ]
机构：
[1] UNIV PISA,IST ELETTRON & TELECOMUN,I-56126 PISA,ITALY
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1990年 / 30卷 / 1-5期
关键词：
D O I：
10.1016/0165-6074(90)90239-6
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper discusses logic programming techniques applied to Petri nets. A Prolog representation of Petri nets is introduced, which is used to execute and analyse the nets. © 1989.
引用
收藏
页码：193 / 198
页数：6
相关论文
共 50 条
  • [1] PETRI NETS AS MODELS OF LINEAR LOGIC
    ENGBERG, U
    WINSKEL, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 431 : 147 - 161
  • [2] FROM PETRI NETS TO LINEAR LOGIC
    MARTIOLIET, N
    MESEGUER, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 389 : 313 - 340
  • [3] Propositional dynamic logic for Petri nets
    Lopes, Bruno
    Benevides, Mario
    Haeusler, Edward Hermann
    [J]. LOGIC JOURNAL OF THE IGPL, 2014, 22 (05) : 721 - 736
  • [4] On Yen's Path Logic for Petri Nets
    Atig, Mohamed Faouzi
    Habermehl, Peter
    [J]. REACHABILITY PROBLEMS, PROCEEDINGS, 2009, 5797 : 51 - +
  • [5] Extending Propositional Dynamic Logic for Petri Nets
    Lopes, Bruno
    Benevides, Mario
    Haeusler, Edward Hermann
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2014, 305 : 67 - 83
  • [6] Petri Nets Mapping into Reconfigurable Logic Controllers
    Adamski, Marian
    Wegrzyn, Marek
    [J]. INTERNATIONAL JOURNAL OF ELECTRONICS AND TELECOMMUNICATIONS, 2009, 55 (02) : 157 - 182
  • [7] Rewriting logic as a unifying framework for Petri nets
    Stehr, MO
    Meseguer, J
    Ölveczky, PC
    [J]. UNIFYING PETRI NETS: ADVANCES IN PETRI NETS, 2001, 2128 : 250 - 303
  • [8] On temporal logic programming using Petri nets
    Zaidi, AK
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1999, 29 (03): : 245 - 254
  • [9] DECIDABILITY OF A TEMPORAL LOGIC PROBLEM FOR PETRI NETS
    JANCAR, P
    [J]. THEORETICAL COMPUTER SCIENCE, 1990, 74 (01) : 71 - 93
  • [10] Timed Petri nets and temporal linear logic
    Tanabe, M
    [J]. APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 156 - 174
12345