"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets. - Irina B. Virbitskaite; V. A. Borovlev; Louchka Popova-Zeugmann (Program. Comput. Softw., 2016)