Dmitriy Bushin

Comparing Semantics Under Strong Timing of Petri Nets

Irina Virbitskaite, Dmitriy Bushin, 2014, Ershov Memorial Conference.

True Concurrent Equivalences in Time Petri Nets

Eike Best, Irina Virbitskaite, Dmitriy Bushin, 2016, Fundam. Informaticae.

Comparative trace semantics of time Petri nets

Irina Virbitskaite, Dmitriy Bushin, 2015, Programming and Computer Software.

Time Process Equivalences for Time Petri Nets

Irina Virbitskaite, Dmitriy Bushin, 2014, CS&P.