Causality-Based Testing in Time Petri Nets

Elena Bozhenkova, Irina Virbitskaite, Louchka Popova-Zeugmann

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-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 languageEnglish
Title of host publicationPerspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers
EditorsNikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
PublisherSpringer International Publishing AG
Pages252-261
Number of pages10
ISBN (Print)9783030374860
DOIs
Publication statusPublished - 1 Jan 2019
Event12th International Andrei P. Ershov Informatics Conference, PSI 2019 - Novosibirsk, Russian Federation
Duration: 2 Jul 20195 Jul 2019

Publication series

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

Conference

Conference12th International Andrei P. Ershov Informatics Conference, PSI 2019
CountryRussian Federation
CityNovosibirsk
Period02.07.201905.07.2019

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

Cite this