Causality-Based Testing in Time Petri Nets

Elena Bozhenkova; Irina Virbitskaite; Louchka Popova-Zeugmann

doi:10.1007/978-3-030-37487-7_22

Causality-Based Testing in Time Petri Nets

Elena Bozhenkova, Irina Virbitskaite, Louchka Popova-Zeugmann

Computer Systems Section

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Abstract

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.

Original language	English
Title of host publication	Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers
Editors	Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Publisher	Springer International Publishing AG
Pages	252-261
Number of pages	10
ISBN (Print)	9783030374860
DOIs	https://doi.org/10.1007/978-3-030-37487-7_22
Publication status	Published - 1 Jan 2019
Event	12th International Andrei P. Ershov Informatics Conference, PSI 2019 - Novosibirsk, Russian Federation Duration: 2 Jul 2019 → 5 Jul 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11964 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	12th International Andrei P. Ershov Informatics Conference, PSI 2019
Country	Russian Federation
City	Novosibirsk
Period	02.07.2019 → 05.07.2019

Access to Document

10.1007/978-3-030-37487-7_22

Link to publication in Scopus

Fingerprint Dive into the research topics of 'Causality-Based Testing in Time Petri Nets'. Together they form a unique fingerprint.

Cite this

Bozhenkova, E., Virbitskaite, I., & Popova-Zeugmann, L. (2019). Causality-Based Testing in Time Petri Nets. In N. Bjørner, I. Virbitskaite, & A. Voronkov (Eds.), Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers (pp. 252-261). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11964 LNCS). Springer International Publishing AG. https://doi.org/10.1007/978-3-030-37487-7_22

Bozhenkova, Elena ; Virbitskaite, Irina ; Popova-Zeugmann, Louchka. / Causality-Based Testing in Time Petri Nets. Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. editor / Nikolaj Bjørner ; Irina Virbitskaite ; Andrei Voronkov. Springer International Publishing AG, 2019. pp. 252-261 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{9b89d5420299493ebae8c559f88ac102,

title = "Causality-Based Testing in Time Petri Nets",

abstract = "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.",

author = "Elena Bozhenkova and Irina Virbitskaite and Louchka Popova-Zeugmann",

year = "2019",

month = jan,

day = "1",

doi = "10.1007/978-3-030-37487-7_22",

language = "English",

isbn = "9783030374860",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer International Publishing AG",

pages = "252--261",

editor = "Nikolaj Bj{\o}rner and Irina Virbitskaite and Andrei Voronkov",

booktitle = "Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers",

address = "Switzerland",

note = "12th International Andrei P. Ershov Informatics Conference, PSI 2019 ; Conference date: 02-07-2019 Through 05-07-2019",

}

Bozhenkova, E , Virbitskaite, I & Popova-Zeugmann, L 2019, Causality-Based Testing in Time Petri Nets. in N Bjørner, I Virbitskaite & A Voronkov (eds), Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11964 LNCS, Springer International Publishing AG, pp. 252-261, 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russian Federation, 02.07.2019. https://doi.org/10.1007/978-3-030-37487-7_22

Causality-Based Testing in Time Petri Nets. / Bozhenkova, Elena ; Virbitskaite, Irina; Popova-Zeugmann, Louchka.

Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. ed. / Nikolaj Bjørner; Irina Virbitskaite; Andrei Voronkov. Springer International Publishing AG, 2019. p. 252-261 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11964 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

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 -

Bozhenkova E , Virbitskaite I, Popova-Zeugmann L. Causality-Based Testing in Time Petri Nets. In Bjørner N, Virbitskaite I, Voronkov A, editors, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Springer International Publishing AG. 2019. p. 252-261. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-030-37487-7_22