Design of Grid Structures on the Basis of Transition Systems with the Substantiation of the Correctness of Their Operation

详细信息    查看全文

• 作者：S. L. Kryvyi ; Y. V. Boyko ; S. D. Pogorilyy…
• 关键词：grid structure ; transition systems ; Diophantine equations
• 刊名：Cybernetics and Systems Analysis
• 出版年：2017
• 出版时间：January 2017
• 年：2017
• 卷：53
• 期：1
• 页码：105-114
• 全文大小：
• 刊物类别：Mathematics and Statistics
• 刊物主题：Systems Theory, Control; Artificial Intelligence (incl. Robotics); Processor Architectures; Software Engineering/Programming and Operating Systems;
• 出版者：Springer US
• ISSN：1573-8337
• 卷排序：53

文摘

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.