Accountants have modeled and documented accounting information systems (AIS) through
system flowcharts, which have also been used to study internal controls. However, when AIS …

Petri net (PN) is one of the promising computational and mathematical formalisms used to
represent and study the behavior of complex metabolic networks. The various available …

The Causal Broadcast (CB) algorithms are presented for message passing between
processes of distributed systems (DSs). These algorithms play an essential role in …

Due to the high complexity of large-scale crowds' movement and behavior, the relevant
responsible person cannot guide people's flow the first time and control the risks correctly …

The procreative statistical framework of musical note structures produces a crucial role in
multimedia music classification and reconstruction strategies. Another significant thing for …

Oil refining is a branch of industry that delivers energy to move our vehicles. The
transportation of people and goods by airplanes, ships, trains, trucks, buses, and cars is …

Causal broadcast is one of the fundamental algorithms in distributed systems. These
algorithms use two techniques, Carrying delivered messages (DM) and Carrying meta …

A smart city is an urban centre that integrates a variety of solutions to improve infrastructure
performance and achieve sustainable urban development. Urban roads are a crucial …

Petri nets are commonly used to represent concurrent systems. However, they lack support
for modelling and analysing system families, like variants of controllers, different variations of …

The User Interface Transition Diagram (UITD) is a graphic notation designed to simplify the
specification and design of the system-user interactions without losing the technical detail …