There are various approaches to the formalization of systems that operate in accordance with the principles of the Internet of Things (IoT). The main goal of creating such formalisms is the need to build complete digital models of real objects used for the purposes of their optimal management and the rational (optimal) use of available resources. The methods based on network models of processes, which develop in time are among the most effective approaches to digital modelling. However, the existing network technologies can be effectively used in the analysis of essentially single-level processes only and can hardly be used to model nested hierarchical systems due to insufficient formalization thereof. The proposed work is intended to fill the specified gap to some extent. Another issue in the field of management of the industrial IoT workshop is ensuring the reliability of the production process, which should be checked via modelling and simulation of the process. The work is aimed at automation of the small-scaled production site. Digital simulation is used as the research method. The multilevel representation of a workshop infrastructure based on IoT technology is described. An abstract network set-theoretic model of multistage processes developing in time is constructed and substantiated in this paper. The constructed model allows you to automatically perform an unlimited number of nested processes within a given hierarchical structure and implement some algorithmic methods thereby for decomposition of the complex systems. Furthermore, the method of reliable solution of scheduling and managing automation of multicriteria control network is described, which provides a balance between a set of target efficiency criteria of technological processes at different stages. The issues of application of the developed concept of network modelling to improve the performance of production sites of various kinds are considered. It is assumed that the main task of the production site is manufacturing a different range of parts from workpieces. In addition, each workpiece must go through certain stages of processing. These operations are interdependent, and the technological process itself is characterized by transitions from the initial state to the final state within the framework of a certain state graph. The developed model allows calculating the optimal path for this graph based on the principles of dynamic programming. The latter leads to savings of both temporary and other resources taken into account in the model.
[1]
Pavel Drobintsev,et al.
Approach to behavior scenarios debugging
,
2015,
Automatic Control and Computer Sciences.
[2]
Shaohua Dong,et al.
Minimising schedule cost via simulation optimisation: an application in pipe manufacturing
,
2012
.
[3]
Abdelhakim Artiba,et al.
A generic production rules-based system for on-line simulation, decision making and discrete process control.
,
2005
.
[4]
R. K. Shyamasundar,et al.
POSTER: Dynamic Labelling for Analyzing Security Protocols
,
2015,
CCS.
[5]
Nikita Voinov,et al.
An approach to net-centric control automation of technological processes within industrial IoT systems
,
2017
.
[6]
R. K. Shyamasundar,et al.
A Complete Generative Label Model for Lattice-Based Access Control Models
,
2017,
SEFM.
[7]
Devavrat Shah,et al.
Randomized Scheduling Algorithm for Queueing Networks
,
2009,
ArXiv.