This paper studies the deforming characteristics of soil and the effect of concrete supporting in the course of synchronous forming of underground warehouse and concrete wall by experiments.

These results are useful for studying synchronous composition of net systems.

In order to specify the behaviors of structure-complex Petri nets, the concept of synchronous composition is extended and a method is presented, with which a given structure-complex Petri net can be obtained through the synchronous composition of a set of structure-simple Petri nets, namely S-nets.

The synchronous composition and decomposition of Ada net is studied, as a result, net language properties are obtained, and the safeness and liveness properties of Ada tasking by using the Ada net language are analyzed and verified, which provide a new and useful way for analyzing and verifying the complex Ada tasking.

A construction method for the process expression of a Petri net is proposed based on synchronization composition in this paper.

The synchronization composition and sharing composition are two important methods for the analysis of complex system in Petri net.

Research on pair-wise synchronization algorithms of wireless sensor networks;

The Petri net model of the whole system is obtained through the synchronous synthesis of all of the object sub\|nets.