In this paper we consider controlled Generalised Batches Petri Nets, a class of batches nets where the firing flow of continuous and batch transitions and the transfer speed of batch places are control variables to be selected within an admissible range. We show that the steady state behavior of this class of nets during a period in which no discrete transition fires can be characterized by solving a nonlinear programming problem that takes into account the net structure and the initial marking. A viable technique to compute a family of solutions by linear relaxation is also presented.
Stationary behavior of controlled Generalised Batches Petri Nets
GIUA, ALESSANDRO
2012-01-01
Abstract
In this paper we consider controlled Generalised Batches Petri Nets, a class of batches nets where the firing flow of continuous and batch transitions and the transfer speed of batch places are control variables to be selected within an admissible range. We show that the steady state behavior of this class of nets during a period in which no discrete transition fires can be characterized by solving a nonlinear programming problem that takes into account the net structure and the initial marking. A viable technique to compute a family of solutions by linear relaxation is also presented.I metadati presenti in IRIS UNICA sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono protetti da diritto d'autore, salvo diversa indicazione.



