To apply the propositional interval temporal logic (PITL) in compositional verification with minor risk of state-exlopsion, a stutter-invariant PITL (PITLst) is proposed, which is structure-related since it inherits the structural relativity of PITL operators much like constructs of imperative programming, such as chop operator for sequential composition and projection opertor for iteration, thus when used as a specification language PITLst can specify the structure of concurrent systems. Moreover, it is shown that PITLst can express all stutter-invariant properties expressible in PITL, so it surpports modular abstraction for compositional verification. In this way, the overall system is of small size, so the risk of state-explosion is accordingly reduced. In addition, an automatic gas station system, as an example, is compositionally verified against PITLst properties, which illustrates that PITLst well supports compositional verfication.