Causality-Based Testing in Time Petri Nets

Elena Bozhenkova, Irina Virbitskaite, Louchka Popova-Zeugmann

Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Аннотация

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.

Язык оригиналаанглийский
Название основной публикацииPerspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers
РедакторыNikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
ИздательSpringer International Publishing AG
Страницы252-261
Число страниц10
ISBN (печатное издание)9783030374860
DOI
СостояниеОпубликовано - 1 янв 2019
Событие12th International Andrei P. Ershov Informatics Conference, PSI 2019 - Novosibirsk, Российская Федерация
Продолжительность: 2 июл 20195 июл 2019

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Том11964 LNCS
ISSN (печатное издание)0302-9743
ISSN (электронное издание)1611-3349

Конференция

Конференция12th International Andrei P. Ershov Informatics Conference, PSI 2019
СтранаРоссийская Федерация
ГородNovosibirsk
Период02.07.201905.07.2019

Fingerprint Подробные сведения о темах исследования «Causality-Based Testing in Time Petri Nets». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать

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