| |
Вибрицкайте, И. Б.
"Истинно параллельная" и недетерменированная семантика дискретно-временных сетей Петри [Текст] / И. Б. Вибрицкайте, В. А. Боровлёв, Л. Попова-Цейгман
// Программирование. – 2016. – № 4. – С. 4-16.
В статье опрпеделяется "истинно параллельная" и недетерминированная семантика в терминах ветвящихся процессов дискретно-временных сетей Петри, в которых возможно бесконечное число переходов и мест, неограниченное количеством фишек в местах, и шаги срабатывания параллельных переходов. |
