Теоретическое обоснование метода Тудика
Електронний архів E-archive DonNTU – (Electronic archive Donetsk National Technical University)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Теоретическое обоснование метода Тудика
A theoretical grounding of the Toudic method |
|
| Creator |
Зайцев, Д.А.
Zaitsev, D.A. |
|
| Subject |
метод Тудика
Toudic method диофантовые уравнения diophantine equations сети Петри Petri nets |
|
| Description |
A theoretical grounding of the well-known and described in the literature as heuristic Toudic method meant for a searching of the Petri-nets invariants, that is an integer nonnegative decision of a linear homogeneous diophantine equations system, is proposed. First the grounding of the one equation's decision basis is given, then the results for the whole equation's system are synthesized. To generate all solutions via Toudic's basis a linear combination is extended by special operation of reduction in common measure of vectors' component.
|
|
| Date |
2014-01-16T08:59:33Z
2014-01-16T08:59:33Z 2004 |
|
| Type |
Article
|
|
| Identifier |
Наукові праці Донецького національного технічного університету. Серія: “Обчислювальна техніка та автоматизація”. Випуск 74 / Редкол.: Башков Є.О. (голова) та ін. — Донецьк: ДонНТУ, 2004.
http://ea.donntu.edu.ua/handle/123456789/24546 |
|
| Publisher |
ДонНТУ
|
|