"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets

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]

Abstract

Abstract is missing.