RUS
ENG
Full version
JOURNALS
// Avtomatika i Telemekhanika
// Archive
Avtomat. i Telemekh.,
1991
Issue 7,
Pages
125–130
(Mi at4228)
Automata
Algebraic method of determining nonexistence of deadlock markings in Petri nets
N. N. Ivanov
Institute of Control Sciences, Moscow
UDC:
519.715
Received:
26.07.1990
Fulltext:
PDF file (914 kB)
English version:
Automation and Remote Control, 1991,
52
:7,
986–989
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2025
Fulltext:
PDF file (914 kB)