Popis: |
This paper presents a new class of model in the fleld of topical algebra whose time evolution belongs to intervals. The lower and upper bounds depend on the maximization, minimization and addition operations, simultaneously. A motivation for the current study is the modelling of Time Petri nets like Time Stream Petri Nets and P-time Petri nets which extend Timed Petri Nets and generalize the semantic of its synchronization. The flnal objective is to make optimal control synthesis on this new model and to generalize the classical \backward" equations applied to Timed Event Graphs. Copyright c ∞ 2005 IFAC |