The need for redesigning existing business processes to improve their efficiency makes it essential to adequately represent, study, and automate them. The WFMC defines "workflow" as computerized facilitation or automation of a business process in whole or part. It is actually a representation of the given process, which is made up of well-defined collection of activities called tasks. Modeling and specification of a workflow involves the following steps: 1) Provide formalism for modeling and specification of workflow 2) specify the tasks together with the associated information and 3) enter the applicable business rules in form of inter-task dependencies. Earlier attempts at modeling of workflows are based on a centralized control approach, has limited applicability for modeling and control of real life workflow due to computational complexity. In this thesis, a distributed supervisory control approach is described and shown to be computationally tractable. The application of such an approach is demonstrated with a case study.

La combinatoire a permis de résoudre certains problèmes en Mathématiques, en Physique et en Informatique, en retour celles-ci inspirent des questions nouvelles à la combinatoire. Ce mémoire de thèse intitulé "Combinatoire et algorithme des factorisations tangentes à l'identité" regroupe plusieurs travaux sur la combinatoire des déformations du produit de Shuffle. L'objectif de cette thèse est d'écrire des factorisations dont le terme principal est l'identité à travers l'utilisation d'outils portant principalement sur la combinatoire des mots (ordres, graduation etc.). Dans le cas classique, soit F une algèbre libre. En raison du fait que F est une algèbre enveloppante, on a une factorisation exacte de l'identité de End(F) = F*⨶F comme un produit infini d'exponentielles (End(F) étant muni du produit de Shuffle sur la gauche et de la concaténation sur la droite, une représentation fidèle du produit de convolution). La procédure est la suivante : premièrement on commence avec une base de Poincaré-Birkhoff-Witt, deuxièmement on calcule la famille des formes coordonnées et alors les propriétés (combinatoires) non triviales de ces familles en dualité donne la factorisation. Si on part de l'autre côté, l'écriture pour le même produit ne donne exactement l'identité que sous des conditions très restrictives que nous précisons ici. Dans de nombreux autres cas (déformés), la construction explicite des paires de bases en dualité nécessite une étude combinatoire et algorithmique que nous fournissons dans ce mémoire. / Combinatorics has solved many problems in Mathematics, Physics and Computer Science, in return these domains inspire new questions to combinatorics. This memoir entitled "Combinatorics and algorithmics of factorization tangent to indentity includes several works on the combinatorial deformations of the shuffle product. The aim of this thesis is to write factorizations wich principal term is the identity through the use of tools relating mainly to combinatorics on the words (orderings, grading etc). In the classical case, let F be the free algebra. Due to the fact that F is an enveloping algebra, one has an exact factorization of the identity of End(F) = F⨶F as an infinite product of exponentials (End(F) being endowed with the shuffle product on the left and the concatenation on the right, a faithful representation of the convolution product) as follows : first on begins with a PBW basis, second one computes the family of coordinate forms and then non-trivial (combinatorial) properties of theses families in duality gives the factorization. Starting from the other side and writing the same product does give exactly identity only under very restrictive conditions that we clarify here. In many other (deformed) cases, the explicit construction of pairs of bases in duality requires combinatorial and algorithmic studies that we provide in this memoir.