Design of Grid Structures on the Basis of Transition Systems with the Substantiation of the Correctness of Their Operation
| Autor: | S. D. Pogorilyy, S. L. Kryvyi, M. M. Glybovets, Oleksandr Boretskyi, Y. V. Boyko |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Global transition
021103 operations research Theoretical computer science Correctness General Computer Science Basis (linear algebra) Transition (fiction) Distributed computing 010102 general mathematics 0211 other engineering and technologies 02 engineering and technology Petri net Grid 01 natural sciences Grid system 0101 mathematics Mathematics |
| Zdroj: | Cybernetics and Systems Analysis. 53:105-114 |
| ISSN: | 1573-8337 1060-0396 |
| DOI: | 10.1007/s10559-017-9911-0 |
| Popis: | A method for designing a grid system on the basis of transition systems and their synchronous products is considered. The obtained global transition system is translated into a Petri net (PN). With the help of the PN, design decisions are checked for correctness, in particular, for the absence of deadlocks, dead transitions, etc. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink