Merged processes: a new condensed representation of Petri net behaviour | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2005

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

теория процессов

сети петри

верификация

Стр.:

P.307-330

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

Bibliogr.: p.329-330

Источник:

Acta Informatica

Номер:

5

Том:

43

Карточка:

Б2.2, Б2.42.

Khomenko V., Kondratyev A., Koutny M., Vogler W..

Merged processes: a new condensed representation of Petri net behaviour// Acta Informatica-2005, №5.-Vol. 43.-P.307-330
Bibliogr.: p.329-330

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

PAP30 898