Compositions of (max, +) automata

This paper presents a compositional modeling approach by means of (max, +) automata. The motivation is to be able to model a complex discrete event system by composing sub-models representing its elementary parts. A direct modeling of safe timed Petri nets using (max, +) automata is first introduced. Based on this result, two types of synchronous product of (max, +) automata are proposed to model safe timed Petri nets obtained by merging places and/or transitions in subnets. An asynchronous product is finally proposed to represent particular bounded timed Petri nets.