Loading…

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 t...

Full description

Saved in:
Bibliographic Details
Main Authors: Trouillet, B., Gentina, J.C.
Format: Conference Proceeding
Language:English
Subjects:
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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
DOI:10.1109/CESA.2006.4281775