TY - GEN
T1 - Causality-Based Testing in Time Petri Nets
AU - Bozhenkova, Elena
AU - Virbitskaite, Irina
AU - Popova-Zeugmann, Louchka
PY - 2019/1/1
Y1 - 2019/1/1
N2 - The intention of the paper is towards a causality-based framework for developing, studying, and comparing testing equivalences with causal net and causal tree semantics in the setting of time Petri nets (elementary net systems whose transitions are labeled with time firing intervals, can fire only if their lower time bounds are attained, and are forced to fire when their upper time bounds are reached). We establish the relationships between the equivalences showing the similarity of the semantics under consideration. This allows studying in detail the timing behaviour in addition to the degrees of relative concurrency of processes generated during the functioning of time Petri nets.
AB - The intention of the paper is towards a causality-based framework for developing, studying, and comparing testing equivalences with causal net and causal tree semantics in the setting of time Petri nets (elementary net systems whose transitions are labeled with time firing intervals, can fire only if their lower time bounds are attained, and are forced to fire when their upper time bounds are reached). We establish the relationships between the equivalences showing the similarity of the semantics under consideration. This allows studying in detail the timing behaviour in addition to the degrees of relative concurrency of processes generated during the functioning of time Petri nets.
UR - http://www.scopus.com/inward/record.url?scp=85077495146&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-37487-7_22
DO - 10.1007/978-3-030-37487-7_22
M3 - Conference contribution
AN - SCOPUS:85077495146
SN - 9783030374860
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 252
EP - 261
BT - Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers
A2 - Bjørner, Nikolaj
A2 - Virbitskaite, Irina
A2 - Voronkov, Andrei
PB - Springer International Publishing AG
T2 - 12th International Andrei P. Ershov Informatics Conference, PSI 2019
Y2 - 2 July 2019 through 5 July 2019
ER -