Academic Journal
Сетецентрическое управление на сетях петри в структурированной дискретно-событийной системе
| Τίτλος: | Сетецентрическое управление на сетях петри в структурированной дискретно-событийной системе |
|---|---|
| Πηγή: | Управление большими системами: сборник трудов. |
| Στοιχεία εκδότη: | Федеральное государственное бюджетное учреждение науки Институт проблем управления им. В.А. Трапезникова РАН, 2010. |
| Έτος έκδοσης: | 2010 |
| Θεματικοί όροι: | СИСТЕМЫ УПРАВЛЕНИЯ, СЕТЕЦЕНТРИЧЕСКИЕ СИСТЕМЫ, ЛОГИЧЕСКОЕ УПРАВЛЕНИЕ, ДИСКРЕТНО-СОБЫТИЙНЫЕ СИСТЕМЫ, СОБЫТИЙНЫЕ МОДЕЛИ, СЕТИ ПЕТРИ, NETWORK-CENTRIC SYSTEM |
| Περιγραφή: | The paper deals with the methodology of control Petri net synthesis developed for real-time automation systems. The methodology is based on the model called a structured discrete event system (SDES) applied to analysis functionality and consistency. In the paper, SDES structure is defined, the technique of SDES controllability analysis is proposed. Developed are the method (based on SDES model) of Petri net synthesis for process modeling, the technique of process net analysis and the synthetic method of supervisor control net providing, jointly with the process net, the fulfillment of initial specifications. На основе концептов сетецентрического управления разработана методика синтеза управляющей cети Петри для систем автоматизации, работающих в реальном времени. Методика использует для анализа функциональности и согласованности модель СДСС – структурированная дискретно-событийная система. Определен состав модели, предложена техника анализа управляемости и моделирования объекта сетью Петри процесса. Разработана техника анализа сети Петри процесса и метод синтеза супервизора – управляющей сети Петри, обеспечивающей совместно с сетью процесса выполнение спецификации СДСС. |
| Τύπος εγγράφου: | Article |
| Περιγραφή αρχείου: | text/html |
| Γλώσσα: | Russian |
| ISSN: | 1819-2467 1819-2440 |
| Σύνδεσμος πρόσβασης: | http://cyberleninka.ru/article/n/setetsentricheskoe-upravlenie-na-setyah-petri-v-strukturirovannoy-diskretno-sobytiynoy-sisteme http://cyberleninka.ru/article_covers/2835384.png |
| Αριθμός Καταχώρησης: | edsair.od......2806..b4df0f6e3bf2ee6c87e353b7e6d900f4 |
| Βάση Δεδομένων: | OpenAIRE |
| ISSN: | 18192467 18192440 |
|---|