This paper presents the Petri-object model formalization based on description of system dynamics with the stochastic timed Petri net. The model structure consists of Petri-objects with the use of object-oriented approach. The evaluation of computational complexity of model implementation based on mathematical description of Petri-object model is obtained. The theoretical evaluation of complexity is...
Financed by the National Centre for Research and Development under grant No. SP/I/1/77065/10 by the strategic scientific research and experimental development program:
SYNAT - “Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.