Intermodal transportation refers to multimodal chains or networks involving at least two
transportation modes, freight being packed into a “container” and not being handled at …

Considering the safety significance, safety critical systems (SCS) of nuclear power plant
(NPP) needs to be validated for their performance. Authors are putting their continuous …

This article proposes a risk assessment method based on interval intuitionistic integrated
cloud Petri net (IIICPN). The cloud model is widely used in data mining and knowledge …

This paper aims at proposing an efficient and versatile application of Petri nets (PNs) either
alone without global positioning system (GPS) as in (GPS-free) system or together with the …

The benefits of logistics and transportation systems to citizens, economy, and society can
strongly increase when considering a smart, safe, and environmentally friendly …

A high-quality infrastructure and technical base is a vital factor in the development of
intermodal transport in transport systems. Intermodal transport terminals are the most …

Inland terminals, or dry ports, have played an important role in multimodal transportation
networks as transportation hubs that provide connections between seaports and hinterland …

We present an advanced traveler information system (ATIS) for public and private
transportation, including vehicle sharing and pooling services. The ATIS uses an agent …

Container terminal capacity, as an important indicator of container terminal competitiveness,
has become a primary concern of port managers, whereas container flows, which are …

This paper deals with the formal verification of reconfigurable discrete event control systems
(RDECSs) using reconfigurable timed net condition/event systems (R-TNCESs) formalism. A …