I. B. Virbitskaite, V. A. Borovlev, Louchka Popova-Zeugmann. "Truly concurrent" and nondeterministic semantics of discrete-time Petri nets. Programming and Computer Software, 42(4):187-197, 2016. [doi]
@article{VirbitskaiteBP16,
title = {"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets},
author = {I. B. Virbitskaite and V. A. Borovlev and Louchka Popova-Zeugmann},
year = {2016},
doi = {10.1134/S0361768816040071},
url = {http://dx.doi.org/10.1134/S0361768816040071},
researchr = {https://researchr.org/publication/VirbitskaiteBP16},
cites = {0},
citedby = {0},
journal = {Programming and Computer Software},
volume = {42},
number = {4},
pages = {187-197},
}