The analysis of Petri nets in the modeling environment CPN Tools

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.
Keywords:
service, the modeling environment, Petri nets