Zaitsev D.A. Composition of Functional Petri Nets (pp. 404-465). Chapter 17 in Z.W. Li and A.M. Al-Ahmari (Ed.), Formal Methods in Manufacturing Systems: Recent Advances. IGI-Global: USA, 2013.
Zaitsev D.A. Compositional analysis of Petri nets, Cybernetics and Systems Analysis, Volume 42, Number 1 (2006), 126-136.
Zaitsev D.A. Functional Petri Nets , Universite Paris-Dauphine, Cahier du Lamsade 224 Avril 2005, 62p.
Zaitsev D.A. Decomposition of Petri Nets, Cybernetics and Systems Analysis, Volume 40, Number 5 (2004), 739-746.
Zaitsev D.A. Decomposition-based calculation of Petri net invariants // Proceedings of Workshop on Token based computing of the 25-th International conference on application and theory of Petri nets, Bologna, Italy, June 21-25, 2004, p. 79-83.
Zaitsev D.A. Subnets with input and output places // Petri Net Newsletter, Vol. 64, April 2003, p. 3-6, Cover Picture Story.