D. Nau, M. Ghallab, and P. Traverso, Automated Planning: Theory & Practice, 2004.

S. Hickmott, J. Rintanen, S. Thiebaux, and L. White, Planning via Petri Net Unfolding, Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI-07)

B. Bonet, P. Haslum, S. Hickmott, and S. Thiebaux, Directed Unfolding of Petri Nets, Proc. of the Workshop on Unfolding and Partial Ordered Techniques (UFO-07), associated to 28th Int. Conf. on Application and Theory of Petri Nets and Other Models of Concurrency, 2007.
DOI : 10.1007/3-540-36577-X_34

Y. Chen, R. Huang, and W. Zhang, Fast Planning by Search in Domain Transition Graphs, AAAI-08, 23rd Conference on Artificial Intelligence, 2008.

R. I. Brafman and C. Domshlak, Factored Planning: How, When, and When Not, AAAI-06, 21st Conference on Artificial Intelligence, 2006.

R. I. Brafman and C. Domshlak, From One to Many: Planning for Loosely Coupled Multi-Agent Systems, ICAPS-08, 18th International Conference on Automated Planning and Scheduling, 2008.

E. Amir and B. Engelhardt, Factored Planning, 18th Int. Joint Conference on Artificial Intelligence (IJCAI'03), 2003.

J. Choi and E. Amir, Factored planning for controlling a robotic arm: theory, " 5th Int, Cognitive Robotics workshop, 2006.

E. Fabre, Convergence of the turbo algorithm for systems defined by local constraints, 2003.

R. Su, W. M. Wonham, J. Kurien, and X. Koutsoukos, Distributed diagnosis for qualitative systems, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., pp.169-174, 2002.
DOI : 10.1109/WODES.2002.1167684

R. Su, Distributed Diagnosis for Discrete-Event Systems, 2004.

R. Dechter, Constraint Processing, 2003.

J. Pearl, Fusion, propagation, and structuring in belief networks, Artificial Intelligence, vol.29, issue.3, pp.241-288, 1986.
DOI : 10.1016/0004-3702(86)90072-X

C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 1999.

J. Berstel, Transductions and Context-Free Languages, Electronic Edition, 2007.
DOI : 10.1007/978-3-663-09367-1
URL : https://hal.archives-ouvertes.fr/hal-00619779

M. Mohri, Finite-State Transducers in Language and Speech Processing, Computational Linguistics, vol.23, issue.2, 1997.

M. Mohri, Weighted Automata Algorithms, Handbook of weighted automata, 2009.
DOI : 10.1007/978-3-642-01492-5_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.1601