Досліджено модель поведінкового тестування енерговитрат, що заснована на взаємодії
поширених мереж Петрі і автоматних експериментів, якіконтролюють поведінку. У тестуванні
використані числові мітки знакопиченням показників енерговитрат, ідентифікатори і тестові
примітиви, сигнатура модифікованих операцій і відношень тестування. Модель тестування
енерговитрат дозволяє визначати умови збереження коректних енерговитрат.
