“Truly concurrent” and nondeterministic semantics of discrete-time Petri nets
Virbitskaite, I. B., Borovlev, V. A., Popova-Zeugmann, L.Volume:
42
Language:
english
Journal:
Programming and Computer Software
DOI:
10.1134/s0361768816040071
Date:
July, 2016
File:
PDF, 705 KB
english, 2016