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 条
  • [41] The expressive power of time Petri nets
    Berard, B.
    Cassez, F.
    Haddad, S.
    Lime, D.
    Roux, O. H.
    THEORETICAL COMPUTER SCIENCE, 2013, 474 : 1 - 20
  • [42] A proposal for relative time petri nets
    Kuehn, J
    Lakos, C
    Esser, R
    SEFM 2005: Third IEEE International Conference on Software Engineering and Formal Methods, Proceedings, 2005, : 240 - 249
  • [43] Generalized stochastic time Petri nets
    Inst Problem Upravleniya RAN, Moscow, Russia
    Avt Telemekh, 10 (156-167):
  • [44] Petri Nets with Time and Cost (Tutorial)
    Abdulla, Parosh Aziz
    Mayr, Richard
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (107): : 9 - 24
  • [45] Time Petri nets analysis with TINA
    Berthomieu, Bernard
    Vernadat, Francois
    QEST 2006: THIRD INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, 2006, : 123 - +
  • [46] Time-independent Liveness in Time Petri Nets
    Bachmann, Joerg Peter
    Popova-Zeugmann, Louchka
    FUNDAMENTA INFORMATICAE, 2010, 102 (01) : 1 - 17
  • [47] Local time membrane systems and time Petri nets
    Aman, Bogdan
    Battyanyi, Peter
    Ciobanu, Gabriel
    Vaszil, Gyorgy
    THEORETICAL COMPUTER SCIENCE, 2020, 805 : 175 - 192
  • [48] A methodology of testing high-level Petri nets
    Zhu, H
    He, XD
    INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (08) : 473 - 489
  • [49] A petri nets approach to Behavior testing of SET payment
    Wang, CC
    Hung, JC
    Hung, LP
    ENABLING SOCIETY WITH INFORMATION TECHNOLOGY, 2002, : 122 - 130
  • [50] Modeling approach for workflow testing based on Petri nets
    Zheng, C.-Y., 1600, Univ. of Electronic Science and Technology of China (43):
12345