6 research outputs found
Desempenho do robalo-peva em diferentes temperaturas de cultivo
O objetivo deste trabalho foi quantificar o crescimento de juvenis de robalo-peva (Centropomus parallelus) cultivados em diferentes temperaturas. Os peixes foram cultivados durante 49 dias, a 20, 23, 26 e 29ÂșC. A temperatura da ĂĄgua influenciou o ganho de peso. Os peixes criados a 26 e 29ÂșC apresentaram os maiores ganhos em peso e foram os mais eficientes na conversĂŁo alimentar. Os peixes cultivados a 29ÂșC tambĂ©m apresentaram melhores taxas de crescimento especĂfico. O desempenho do robalo-peva Ă© afetado a 20ÂșC, e a espĂ©cie deve ser cultivada em temperaturas superiores a 23ÂșC
History-dependent Petri nets
\u3cp\u3eMost information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails. We consider processes that not only keep track of their history in a log, but also make decisions based on this log. To model such processes we extend the basic Petri net framework with the notion of history and add guards to transitions evaluated on the process history. We show that some classes of history-dependent nets can be automatically converted to classical Petri nets for analysis purposes. These classes are characterized by the form of the guards (e.g., LTL guards) and sometimes the additional requirement that the underlying classical Petri net is either bounded or has finite synchronization distances.\u3c/p\u3
History-Dependent Petri Nets
Abstract. Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails. We consider processes that not only keep track of their history in a log, but also make decisions based on this log. To model such processes we extend the basic Petri net framework with the notion of history and add guards to transitions evaluated on the process history. We show that some classes of historydependent nets can be automatically converted to classical Petri nets for analysis purposes. These classes are characterized by the form of the guards (e.g., LTL guards) and sometimes the additional requirement that the underlying classical Petri net is either bounded or has finite synchronization distances.