On the Linearization of Weighted T-Systems

This paper deals with the possibility to study the behavior of a large class of Petri net: weighted T-systems (WTS). We recall recent results which propose to linearize WTS on a marked graph (MG), in order to obtain a model which can be analyzed using tropical algebra like (max, +) or (min, +). In the last part, we present a transformation to extend the previous results. The idea is to introduce synchronization in the model, this kind of transition enrich the model and gives the opportunity to apply the different results