PT BBI is a company engaged in producing machinery, industrial equipment, and foundry. has overgrown as that focuses on manufacturing delivering products such oil gas/refinery/petrochemical industries, power plans, iron castings, precision machinery centers, etc. uses various kinds of machines to support its production process. Some devices have often experienced damage caused downtime recent y...

we compare two approaches for a markovian model in flexible manufacturing systems (fmss) using monte carlo simulation. the model which is a development of fazlollahtabar and saidi-mehrabad (2013), considers two features of automated flexible manufacturing systems equipped with automated guided vehicle (agv) namely, the reliability of machines and the reliability of agvs in a multiple agv jobsho...

For enterprises of the metallurgical industry, task increasing operational life drawing mills is urgent. The reasons for a significant decrease in resource and an increase number equipment downtime are related to problems. Downtime due emergency failures account up 45 % mill’s operating time per month. paper considers drive scheme mill analyzes loss restore its working condition. It shown that ...

State Machines: A Unifying View of Models of Computation and of System Design Frameworks Egon Börger Università di Pisa, Dipartimento di Informatica, I-56125 Pisa, Italy, [email protected] Abstract We capture the principal models of computation and specification in the literature by a uniform set of transparent mathematical descriptions which—starting from scratch—provide the conceptual basis...

Universal algebra usually considers and examines algebras as static entities. In the mid 80ies Gurevich proposed Abstract State Machines (ASMs) as a computation model that regards algebras as dynamic: a state of an ASM is represented by a freely chosen algebra which may change during a computation. In [8] Gurevich characterizes the class of sequential ASMs in a purely semantic way by five amazi...

This paper presents a novel, multi-objective model of a parallel machines scheduling problem that minimizes the number of tardy jobs and total completion time of all jobs. In this model, machines are considered as unrelated parallel units with different speeds. In addition, there is some precedence, relating the jobs with non-identical due dates and their ready times. Sequence-dependent setup t...