Understanding the Importance of Efficient Visitor Flow within Tokyo Skytree

Tokyo Skytree is the tallest freestanding tower in the world. The tower is a popular tourist attraction with two observational decks at an altitude of 350 and 450 meters. This paper aims to understand the importance of the efficient flow of visitors within the Tokyo Skytree. We utilize a discrete mathematical model based on Petri Nets and the tool GPenSIM to simulate the visitor flow. Through simulation, we explore how the flow of visitors change by increasing and decreasing the elevator specifications. The results show that the specifications of the elevators play a crucial role in efficient visitor flow. The model and its implementation presented in this paper are specific to Tokyo Skytree. However, the idea presented in this paper can be easily adapted to model any other tall buildings too.publishedVersio

Network Supplier Credit Management: Models Based on Petri Net

In current credit evaluation methods, the credit condition of the network supplier and the credit degree of each index cannot be described well, and the credit evaluation data only source of the transaction platform have much limitation. This research proposes the method of calculating the importance and the value of the credit evaluation indexes, and proposes to put credit evaluation into big data environment. This research uses the transaction process of B2C as the case, and constructs multiple attribute weighted Petri net credit index subnet (CWPSN) for realizing the credit evaluation of the network supplier, and for presenting the correlations among the evaluation results of the credit evaluation indexes, and for presenting the importance of the indexes and the credit degree of each index, and describes the cost optimization process with credit cost optimization investment process Petri net (CCOIPPN). By the case to verify the credit evaluation method based on Petri net and the cost optimization method based on Petri net. The researches have provided methods for clearly and concretely describing the process of credit evaluation and cost optimization of network supplier, and have guidance significance for similar other researches

A review of multi-car elevator system

This paper presents a review of a new generation of elevator system, the Multi-Car Elevator System. It is an elevator system which contains more than one elevator car in the elevator shaft. In the introduction, it explains why the Multi-Car Elevator System is a new trend elevator system based on its structural design, cost saving and efficiency in elevator system. Different types of Multi-Car Elevator System such as circulation or loop-type, non-circulation and bifurcate circulation are described in section 2. In section 3, researches on dispatch strategies, control strategies and avoidance of car collision strategies of Multi-Car Elevator System since 2002 are reviewed. In the discussion section, it reveals some drawbacks of the Multi-Car Elevator System in transport capability and the risk of car collision. There are recommendations to the future work as well

Modeling humanoid swarm robots with petri nets

Master's thesis in Computer scienceRobots have become a hot topic in today‟s electronic world. There are many definitions for it. One of the definition in Oxford dictionary states “a robot is a machine capable for carrying out a complex series of action automatically especially one programmable by a computer”. This paper deals with a special kind of robot, which is also known as humanoid robot. These robots are replication of human beings with head, torso, arms and legs. A model of human is presented in this paper as discrete event system adapted from “Modeling and simulating motions of human bodies…”[1]. This model consists of sixteen interrelated limbs defined in 3D space, so most limbs/joints are able to make movement in three different angles (α, β and γ). Full details regarding Range of Motion (ROM) of rigid body in forward kinematic is illustrated. Human motions are categorized into two types: stochastic and deterministic motions. Deterministic motions are demonstrated using gait cycle of walking and running of normal adult person. The main focus of this paper is to model and simulate humanoid robot represented as Discrete Event Systems (DES); in Petri Net using GPenSIM and later expand those group of robots to swarm setting. GPenSIM is General Purpose Petri Net simulator [2] developed as toolbox for MATLAB to model and simulated discrete events using Petri net tools. Each joint‟s angle is treated as a separate Petri Net model which is independent from each other and their movement‟s limits are defined by ROM of normal human body. The instructions relating to the motion of joints for simulation are fed through a file to the instructor. These movements of joints are represented by variation of tokens displayed at the end of simulation in a graphical figure. Further, same structure of model is used in swarm of robots. Instead of feeding instructions to individual robots, a central instructor is created. This instructor acts as a master to robots acting as slaves where slaves include some predetermined commands embedded inside them. With central command system, a proper synchronization is achieved among group of robots working as swarm. A normal routine of group dance or simple group sport can be accomplished with calculated instructions on this swarm of robot