A. Aziz, T. Shiple, V. Singhal, R. Brayton, and A. Sangiovanni-vincentelli, Formuladependent equivalence for compositional ctl model checking, Formal Methods in System Design

S. Christensen and L. Petrucci, Modular Analysis of Petri Nets, The Computer Journal, vol.43, issue.3
DOI : 10.1093/comjnl/43.3.224

K. Klai and L. Petrucci, Modular construction of the symbolic observation graph, 2008 8th International Conference on Application of Concurrency to System Design, 2008.
DOI : 10.1109/ACSD.2008.4574600

K. Klai, L. Petrucci, and M. Reniers, An incremental and modular technique for checking ltl\ xp r o p e r t i e so fp e t r in e t s . Formal Techniques for Networked and Distributed Systems?FORTE, 2007.