T he problem of multiagent patrol has gained considerable attention during the past decade, with the immediate applicability of the problem being one of its main sources of interest. In this work we concentrate on frequency-based patrol, in which the agents’ goal is to optimize a frequency criterion, namely, minimizing the time between visits to a set of interest points. We consider multiagent ...

This paper presents a formalism called Time Interval Petri Networks (TIPNs) and shows their efficacy for model-based envisionment of real-time concurrent interacting processes with temporal constraints. The TIPN formalism is developed by extending Petri Networks to Time Interval Petri Networks. The process of TIPN construction from a state-process domain model is described. Experimental results...

This article investigates the possibility of optimizing the organization of a ship as a highly complex technical system. In this sense, the existing relationship between technology and the human as a user is considered. Using the sociotechnical approach the aim is to identify the weaknesses in the existing technological and organizational ship’s system. Based on research conducted on the naviga...

This paper introduces a new generation of Automated Guided Vehicles, called IPSI® AGVs, which are evaluated in the operations of a Container Terminal. The objective is to identify number of automated guided vehicles and cassettes required in order to that a number of cranes will not be idle during ship loading and unloading operations. A protocol called Contract Net is evaluated in the coordina...