Fuzzy Petri net (FPN) provides an extremely competent basis for the implementation of
computing reasoning processes and the modeling of systems with uncertainty. This paper …

Railway interlocking is a safety critical system because its incorrect functioning may cause
serious consequences. Modeling of a reliable interlocking has become a challenging …

The mechanism of integrating smart nodes with each other using a network to communicate,
share information is known as Internet of Things (IoT). The usage and simulation of IoT …

In recent studies, it is indicated that the rate of accidents at level crossings of Railway Gate
Control System (RGCS) is increasing. The need of an automatic system emerges due to the …

Internet of Things (IoT) is a collection of smart objects which communicate with each other
within a network. IoT is everything which is connected to the internet to send and receive …

Recently the interest in wireless sensor and actor networks has increased tremendously.
Although there has been significant improvement in WSANs, but still many challenges are …

Internet of things (IoT) means interconnection of heterogeneous nodes implemented in order
to sense input data, interpretation, processing and output within a network. The smart …

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 …

The intelligent management of all the processes of registration and administrative services
are managed by smart campus. Smart campus provides management of clearance …