Extension du formalisme des flux opérationnels par une algèbre temporelle

Valmi Dufour-Lussier, Florence Le Ber, Jean Lieber

Workflows constitute an important language to represent knowledge about processes, but also increasingly to reason on such knowledge. On the other hand, there is a limit to which t…