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...
Saved in:
Main Authors: | , |
---|---|
Format: | Conference Proceeding |
Language: | English |
Subjects: | |
Online Access: | Request full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
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 |