The environment of modeling CPN Tools which uses language of Petri nets for modeling of systems is considered. Features are described and the example of use for the analysis of models of corporate services on the basis of hierarchical Petri nets is resulted.
service, the modeling environment, Petri nets
"Analyz setei Petry v srede modelyrovanyia CPN Tools" ,
Information Processing Systems,