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 条

[1] Testing Equivalences of Time Petri Nets
Bozhenkova, E.N.
Virbitskaite, I.B.
Programming and Computer Software, 2020, 46 (04): : 251 - 260
[2] Testing Equivalences of Time Petri Nets
Bozhenkova, E. N.
Virbitskaite, I. B.
PROGRAMMING AND COMPUTER SOFTWARE, 2020, 46 (04) : 251 - 260
[3] True Concurrent Equivalences in Time Petri Nets
Virbitskaite, Irina
Bushin, Dmitry
Best, Eike
FUNDAMENTA INFORMATICAE, 2016, 149 (04) : 401 - 418
[4] Resource Equivalences in Petri Nets
Lomazova, Irina A.
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2017, 2017, 10258 : 19 - 34
[5] Functional equivalences of Petri nets
Schreiber, G
APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 432 - 450
[6] Causality-Based Testing in Time Petri Nets
Bozhenkova, Elena
Virbitskaite, Irina
Popova-Zeugmann, Louchka
PERSPECTIVES OF SYSTEM INFORMATICS (PSI 2019), 2019, 11964 : 252 - 261
[7] REAL-TIME PROGRAMS TESTING WITH PETRI NETS
LAMARCHE, G
TAILLIBERT, P
TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 83 - 87
[8] Petri Nets with Localities and Testing
Kleijn, Jetty
Koutny, Maciej
APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS, 2010, 6128 : 19 - +
[9] Petri Nets with Time Windows: A Comparison to Classical Petri Nets
Wegener, Jan-Thierry
Popova-Zeugmann, Louchka
FUNDAMENTA INFORMATICAE, 2009, 93 (1-3) : 337 - 352
[10] DECIDABILITY OF TWO TRULY CONCURRENT EQUIVALENCES FOR FINITE BOUNDED PETRI NETS
Cesco, Arnaldo
Gorrieri, Roberto
LOGICAL METHODS IN COMPUTER SCIENCE, 2023, 19 (04)