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 ...

The notion of pullback rewriting has been developed recently as a category theoretical framework for vertex replacement in graphs. Here, the technique is presented based on net morphisms, yielding a well-deened mechanism which is closely related to pullback rewriting in hypergraphs. Finally, a net reenement operation modifying the context of the reened transition is characterized in terms of pu...

the study on gender and net farm income of cassava-based farmers under individual land tenure system was done in abia state of nigeria. the main objective was to determine the net farm income (nfi) and the benefit cost ratio (bcr) of the cassava farmers by gender vis-aviz their income levels as well as food security in the state. a multi-stage random sampling technique was adopted while data we...

As a way to compose independent service together to fulfill a function, service composition is an important means for flexible and rapid information integration of complex distribution application in open and heterogeneous environment. However, the diversity of requirements makes it difficult to guarantee the correctness of service composition. This paper proposes a hierarchical dynamic service...

For automatic decision-making on the control command of A-SMGCS (Advance Surface Movement Guidance and Control System) taxiway centre line lights in line segment, Petri net based approach is proposed. Firstly, the dynamic operation model for taxiway line segment is established based on Petri net, and the corresponding marking control regulation is defined. And then, the controller synthesis for...

The study on gender and net farm income of cassava-based farmers under individual land tenure system was done in Abia State of Nigeria. The main objective was to determine the Net Farm Income (NFI) and the Benefit Cost Ratio (BCR) of the cassava farmers by gender vis-aviz their income levels as well as food security in the state. A multi-stage random sampling technique was adopted while data we...

Deadlocks constitute an important issue to he addressed in the design and operation of flexible manufacturing systems (FMS’s). In this paper, we show that prevention and avoidance of FMS deadlocks can he implemented using Petri net models. For deadlock prevention, we use the reachability graph of a Petri net model of the given FMS, whereas for deadlock avoidance, we propose a Petri net-based on...

Deadlocks constitute an important issue to he addressed in the design and operation of flexible manufacturing systems (FMS’s). In this paper, we show that prevention and avoidance of FMS deadlocks can he implemented using Petri net models. For deadlock prevention, we use the reachability graph of a Petri net model of the given FMS, whereas for deadlock avoidance, we propose a Petri net-based on...

Emergency operations are a good case study for dynamic systems. Their size and high dynamicity make modelling them a challenging task. Algebraic high level net transformation systems are a well suited technique for modelling such dynamic systems. They consist of an algebraic high level net and a set of graph transformation rules. The net reflects the initial state of the operation and the trans...

The microgrid with renewable sources possesses stability issues. During the grid-connected mode, these issues are taken care by the external grid. However in case of islanding, the distributed generators within the microgrid, have to take care of these issues independently. It needs additional backup like diesel generation or battery storage, which increases the overall capital and operation co...