Testing Equivalences of Time Petri Nets

被引：0
|
作者：
E. N. Bozhenkova
I. B. Virbitskaite
机构：
[1] A. P. Ershov Institute of Informatics Systems,
[2] Siberian Branch,undefined
[3] Russian Academy of Sciences,undefined
[4] Novosibirsk State University,undefined
来源：
Programming and Computer Software | 2020年 / 46卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：251 / 260
页数：9
相关论文
共 50 条
  • [31] Minimization algorithms for time Petri nets
    Pólrola, A
    Penczek, W
    FUNDAMENTA INFORMATICAE, 2004, 60 (1-4) : 307 - 331
  • [32] Reduction rules for time Petri nets
    Sloan, RH
    Buy, U
    ACTA INFORMATICA, 1996, 33 (07) : 687 - 706
  • [33] Time Arc Petri Nets and their analysis
    Rakkay, Hind
    Boucheneb, Hanifa
    Roux, Olivier H.
    NINTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2009, : 138 - +
  • [34] Liveness Enforcement for Time Petri Nets*
    Qin, Tao
    Dong, Yifan
    Yin, Li
    Wu, Naiqi
    Li, Zhiwu
    2022 8TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'22), 2022, : 1184 - 1189
  • [35] Verification technique for time Petri nets
    Bonhomme, P
    Berthelot, G
    Aygalinc, P
    Calvez, S
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4278 - 4283
  • [36] Relaxed Unfolding for Time Petri Nets
    Velez Benito, Franck Carlos
    Kunzle, Luis Allan
    2013 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND APPLICATIONS (CSA), 2013, : 833 - 839
  • [37] A compositional model of time Petri nets
    Koutny, M
    APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 303 - 322
  • [38] Stubborn Sets for Time Petri Nets
    Boucheneb, Hanifa
    Barkaoui, Kamel
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 14 (01)
  • [39] A causal semantics for time Petri nets
    Aura, T
    Lilius, J
    THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 409 - 447
  • [40] Simulation of Colored Time Petri Nets
    Zhang, Hongmei
    Liu, Fei
    Yang, Ming
    Li, Wei
    2013 IEEE INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION (ICIA), 2013, : 637 - 642
12345