In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachability properties. It performs translations from TPNs to Timed Automata (TAs) that preserve the behavioural semantics (timed bisimilarity) of the TPNs. Besides, our tool also deals with an extension of Time Petri Nets (Sche...

BACKGROUND There is little published data regarding the rate of bilirubin clearance in newborns following total parenteral nutrition (TPN) cessation, particularly in the neonatal intensive care unit (NICU) population without intestinal failure. METHODS The primary aim of this retrospective chart review was to determine the duration and severity of bilirubin elevation in neonates without intes...

The limiting factor in nutritional support of the vast majority of patients is the attainment and maintenance of safe access, whether it be to the venous system for total parenteral nutrition (TPN) or to the gut for enteral nutrition. Indeed, the mainstay of nutritional support therapy is deciding the appropriate route for nutritional support and obtaining access to provide that support. Centra...

Total parenteral nutrition (TPN) administration in a mouse model leads to a local mucosal inflammatory response, resulting in a loss of epithelial barrier function (EBF). Although, the underlying mechanisms are unknown, a major contributing factor is a loss of growth factors and subsequent critical downstream signaling. An important component of these is the p-Akt pathway. An additional contrib...

We derive in this paper on-line algorithms for fault diagnosis of Time Petri Net (TPN) models. The plant observation is given by a subset of transitions while the faults are represented by unobservable transitions. The model-based diagnosis uses the TPN model to derive the legal traces that obey the received observation and then checks whether or not fault events occurred. To avoid the consider...

A n e w structural image-texture technique, termed the triangulated primitive neighborhood method (TPN), is employed to investigate the variable spatial characteristics of high-resolution forest objects, as modeled by a Compact Airborne Spectrographic Imager data set. Based on current psychophysical texture theory, this technique incorporates location-specific primitives and a variablesized and...

The limiting factor in nutritional support of the vast majority of patients is the attainment and maintenance of safe access, whether it be to the venous system for total parenteral nutrition (TPN) or to the gut for enteral nutrition. Indeed, the mainstay of nutritional support therapy is deciding the appropriate route for nutritional support and obtaining access to provide that support. Centra...

CONTEXT Nutritional support has become a standard of care for hospitalized patients, but whether total parenteral nutrition (TPN) affects morbidity and mortality is unclear. OBJECTIVE To examine the relationship between TPN and complication and mortality rates in critically ill patients. DATA SOURCES Computerized search of published research on MEDLINE from 1980 to 1998, personal files, and...