title: Algebraically structured colored Petri nets to model sequential processes.
abstract: Sequential processes can hardly be modeled with Colored Petri Nets (CPN). Their standard functions (such as "Succ" and "Prec") can only describe simple cases whereas modeling a complex sequence requires the definition of a function via a cumbersome and static table. In order to overcome these limitations, we first introduce a mixed structure based upon CPN and FIFO queues; then, we define an isomorphism between the set of colors and a finite field Z/pZ enabling symbolic calculation using polynomials associated with arcs instead of linear functions mapping sets into sets. Finally, several examples illustrate their modeling capabilities including failure recovery.
authors.affiliation: Dept. of Electr. Comput. & Syst. Eng., Angers Univ.
authors.forename: M
authors.initials: M
authors.lastname: Bourcerie
authors.forename: J Y
authors.initials: JY
authors.lastname: Morel