Dating and counting events in discrete-event systems

Abstract
Following our previous attempts[3],[4],[5] to initiate a linear system theory of discrete-event systems, we present a new approach where dating and counting events play a symmetric role. Algebraically, this leads us to work in a new dioid which, very roughly speaking, consists of formal power series in two variables with boolean coefficients. In this new framework, we revisit some results formerly obtained with our previous point of view.