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 条
  • [21] Petri nets and time modelling
    Latif Salum
    The International Journal of Advanced Manufacturing Technology, 2008, 38 : 377 - 382
  • [22] On the composition of time Petri nets
    Florent Peres
    Bernard Berthomieu
    François Vernadat
    Discrete Event Dynamic Systems, 2011, 21 : 395 - 424
  • [23] Embedding Time Petri nets
    Comlan, Maurice
    Delfieu, David
    Sogbohossou, Medesu
    Vianou, Antoine
    2017 4TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2017, : 404 - 409
  • [24] On Persistency in Time Petri Nets
    Barkaoui, Kamel
    Bouchene, Hanifa
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2018, 2018, 11022 : 108 - 124
  • [25] Transforming Time Petri Nets into Heterogeneous Petri Nets for Hybrid System Monitoring
    Hatte, Leonie
    Ribot, Pauline
    Chanthery, Elodie
    IFAC PAPERSONLINE, 2024, 58 (04): : 646 - 651
  • [26] Testing k-Safe Petri Nets
    von Bochmann, Gregor
    Jourdan, Guy-Vincent
    TESTING OF SOFTWARE AND COMMUNICATION SYSTEMS, PROCEEDINGS, 2009, 5826 : 33 - 48
  • [27] On Testing 1-Safe Petri Nets
    Jourdan, Guy-Vincent
    Bochmann, Gregor V.
    THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 275 - 281
  • [28] Fault diagnosis for Time Petri Nets
    Jiroveanu, George
    Boel, Rene K.
    De Schutter, Bart
    WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 313 - +
  • [29] Identification of labeled Time Petri nets
    Basile, Francesco
    Chiacchio, Pasquale
    Coppola, Jolanda
    2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 478 - 485
  • [30] Interval analysis of time Petri nets
    Lima, Evangivaldo A.
    Luders, Ricardo
    Kunzle, Luis Allan
    2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2, 2006, : 51 - 58
12345