Time Process Equivalences for Time Petri Nets. - Dmitriy Bushin; Irina B. Virbitskaite (CS&P, 2014)

Comparing Semantics Under Strong Timing of Petri Nets. - Irina B. Virbitskaite; Dmitriy Bushin (Ershov Memorial Conference, 2014)

Comparative trace semantics of time Petri nets. - Dmitriy Bushin; Irina B. Virbitskaite (Program. Comput. Softw., 2015)

True Concurrent Equivalences in Time Petri Nets. - Irina B. Virbitskaite; Dmitriy Bushin; Eike Best (Fundam. Informaticae, 2016)