Connectivity of workflow nets: the foundations of stepwise verification | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2011

Ключевые слова:

сети петри

модель поведения

верификация

связывание

непротиворечивость

Стр.:

P.213-242

Библиография:

Bibliogr.: p.241-242

Источник:

Acta Informatica

Номер:

4

Том:

48

Карточка:

Б2.2.

Polyvyanyy A., Weidlich M., Weske M..

Connectivity of workflow nets: the foundations of stepwise verification// Acta Informatica-2011, №4.-Vol. 48.-P.213-242
Bibliogr.: p.241-242

Таблица в старой библиотеке:

PAP31 678