THE RESIDUE OF VECTOR SETS WITH APPLICATIONS TO DECIDABILITY PROBLEMS IN PETRI NETS

被引：53
|
作者：
VALK, R
JANTZEN, M
机构：
来源：
ACTA INFORMATICA | 1985年 / 21卷 / 06期
关键词：
D O I：
10.1007/BF00289715
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：643 / 674
页数：32
相关论文
共 50 条
  • [21] Stubborn Sets for Time Petri Nets
    Boucheneb, Hanifa
    Barkaoui, Kamel
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 14 (01)
  • [22] Decidability problems of a basic class of object nets
    Dietze, Roxana
    Kudlek, Manfred
    Kummer, Olaf
    FUNDAMENTA INFORMATICAE, 2007, 79 (3-4) : 295 - 302
  • [23] DECIDABILITY OF TWO TRULY CONCURRENT EQUIVALENCES FOR FINITE BOUNDED PETRI NETS
    Cesco, Arnaldo
    Gorrieri, Roberto
    LOGICAL METHODS IN COMPUTER SCIENCE, 2023, 19 (04)
  • [24] Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
    Rosa-Velardo, Fernando
    de Frutos-Escrig, David
    APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS, 2009, 5606 : 63 - 82
  • [25] Petri nets modeling applications
    Choudhury, DR
    Chordiya, N
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: I, 2003, : 87 - 92
  • [26] Stochastic Petri nets and their applications
    Trivedi, KS
    Sun, HR
    Cao, YH
    Ma, Y
    PERFORMANCE AND QOS OF NEXT GENERATION NETWORKING, 2001, : 283 - 298
  • [27] On the computation of stubborn sets of colored Petri nets
    Evangelista, Sami
    Pradat-Peyre, Jean-Francois
    PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2006, 2006, 4024 : 146 - 165
  • [28] Petri Nets and Semilinear Sets (Extended Abstract)
    Yen, Hsu-Chun
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, 2016, 9965 : 25 - 29
  • [29] Coverability Problems for Jumping Petri Nets
    Vidrascu, Cristian
    PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, 2009, : 158 - 163
  • [30] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS
    MURATA, T
    PROCEEDINGS OF THE IEEE, 1989, 77 (04) : 541 - 580
12345