In paper the analysis of existing methods of simulation of operation of composite discrete computing systems, in particular, with usage of petrinets and methods of a simulation modeling is offered. An assertion of formalize model checker is developed on the basis of predicate-temporal networks (PTN), a transition is done от a formal model on a base PTN to the model in imitation simulation of GPSS and SMPL languages. The developed programs were used for research of protocols for the networks of computer, design of technical complexes and planning of computing devices.
petrinets, method of a simulation modeling, simulation of operation of composite systems
"Rozrobka prohramno-alhorytmichnykh zasobiv modeliuvannia skladnykh dyskretnykh system" ,
Information Processing Systems,