in this paper the real time operation of an automatic teller machine (atm) is analyzed using atimed petri net (tpn) model. in the modeling, the probability of arrivals, the speed andattentiveness of customers (clients) are taken to account. different parameters are based onthe statistical data. the model is simulated for 24 hours. the diagrams of number ofsucceeded customers, failed references ...

In this paper the real time operation of an automatic teller machine (ATM) is analyzed using aTimed Petri Net (TPN) model. In the modeling, the probability of arrivals, the speed andattentiveness of customers (clients) are taken to account. Different parameters are based onthe statistical data. The model is simulated for 24 hours. The diagrams of number ofsucceeded customers, failed references ...

This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The question addressed by this paper is whether SMIL documents can be easily modelled by TPN model. For this purpose, we show how to translate a specification of a given document SMIL into a TPN. We have extended the TPN mo...

Long-term total parenteral nutrition (TPN) is known to be associated with cholestasis and hepatic steatosis, which can be lethal in infants who cannot be fed orally. The present review focuses on the metabolic complications in the liver that may occur due to the excessive administration of fat-free TPN. We have recently developed an infant rat model of hepatic dysfunction and steatosis induced ...

The most important challenge in the region-based abstraction method as an approach to compute the state space of time Petri Nets (TPNs) for model checking is that the method results in a huge number of regions, causing a state explosion problem. Thus, region-based abstraction methods are not appropriate for use in developing practical tools. To address this limitation, this paper applies a modi...

BACKGROUND Routine total parenteral nutrition (TPN) in neonatal care can result in hepatic dysfunction in 40-60% of patients, most commonly as fatty liver, but little work has been conducted on the underlying mechanisms causing hepatic dysfunction. OBJECTIVE To use a piglet model for the premature human neonate on TPN, supplemented with lipid emulsions, to investigate hepatic responses. MET...

We investigated the effects of exogenous glucagon-like peptide-2 (GLP-2) on mucosal atrophy and intestinal antioxidant capacity in a mouse model of total parenteral nutrition (TPN). Male mice (6-8 weeks old) were divided into three groups (n = 8 for each group): a control group fed a standard laboratory chow diet, and experimental TPN (received standard TPN solution) and TPN + GLP-2 groups (rec...

We consider Time Petri Nets (TPN) for which a firing time interval is associated with each transition. State space abstractions for TPN preserving various classes of properties (LTL, CTL, CTL) can be computed, in terms of so called state classes. Some methods were proposed to check quantitative timed properties but are not suitable for effective verification of properties of real-life systems. ...

BACKGROUND & AIMS Our previous studies have provided evidence that p38 mitogen-activated protein kinase (MAPK) is involved in total parenteral nutrition (TPN)-associated complications, but its exact effects and mechanisms have not been fully understood. This study aimed to evaluate the roles of p38 MAPK inhibitor SB203580 in the TPN-induced loss of intestinal barrier function and liver disease....

Psilocybin is a classic psychedelic and a candidate drug model of psychosis. This study measured the effects of psilocybin on resting-state network and thalamocortical functional connectivity (FC) using functional magnetic resonance imaging (fMRI). Fifteen healthy volunteers received intravenous infusions of psilocybin and placebo in 2 task-free resting-state scans. Primary analyses focused on ...