Лукьянова Е. А.

On conditions imposed on sections of a Kripke structure that simulate the functioning of the compound components allocated in detailed Petri net of parallel distributed system for verification of accuracy of temporal logic formulae

Журнал: 
Страница: 
23
Изучаются модели Крипке детальной сети Петри и её компонентной сети Петри параллельной распределённой системы. Устанавливаются необходимые и достаточные условия для проверки истинности формул темпоральной CT L-логики по редуцированной модели Крипке — модели Крипке компонентной сети Петри.

On similarity of Petri nets languages

Журнал: 
Страница: 
74

The concept of languages similarity of Petri nets is introduced. It is determined, that mapping of languages similarity of Petri nets is a surjective homomorphism. The similarity of languages of component Petri net and original detailed Petri model of the investigated parallel distributed system is considered. The work reveals that the language of the original detailed Petri net model can always be restored using the language of its component model.