Robuta

https://www.system-informatics.ru/en/article/420 Reverse Testing Equivalences for Time Petri Nets | System Informatics time petri nets testing equivalences system informatics reverse https://www.system-informatics.ru/en/keywords/time-petri-nets Time Petri Nets | System Informatics time petri nets system informatics