On the linearization of weighted T-systems

Abstract

This paper deals with the study of the behaviour 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 analysed 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 enriches the model and gives the opportunity to apply the different results.