Wire rod and bar rolling is an important batch production process in steel production
systems. A scheduling problem originated from this process is studied in this work by …

In our previous articles we gave step by step refinement process towards the development of
safety properties of moving block interlocking system (MBRIS). The refinement process …

The job-shop scheduling problem (JSSP) is an important decision facing those involved in
the fields of industry, economics and management. This problem is a class of combinational …

Shop floor scheduling requires consideration of the dynamic, time-varying, and
unpredictable natures of the manufacturing environment. A shop floor scheduling …

Shop floor scheduling requires consideration of the dynamic, time-varying and
unpredictable nature of the manufacturing environment. A shop floor adaptive scheduling …

Modeling the controller of the railway network, having resource sharing based on mutual
exclusion constraints, is an important problem. This paper firstly addresses the specification …

Departure routine is essential part in the air traffic control and must be formally designed to
avoid potential hazards and to verify proper functioning of the underlying processes. This …

This paper extends the Petri net (PN)-based modeling of multi-elevator control system for M
floors and N elevators which provides the generic PN model of the system. A new class of …

Excessive buffer inventory may disrupt production and constitute one of the main problems.
One of the ways of coping with the inventory problems in the mass production lines is to …

Current World Wide Web means to display pages to end user, while the Semantic Web is a
vision of a next-generation network focuses on" Meaning" instead of merely pasting arbitrary …