Papers by Keyword: Petri Net

Abstract: This paper presents a petri net model for examining effectiveness of straddle carrier direct-system operation. Dynamic of operation is addressed by formal petri net model that affiliates types of operation and sequences of motion for various agents in container terminal. An interchange model in the petri net is introduced to represent transloading process that controls the flow of containers between agents. In addition, simulation model was developed to examine the deployment scenarios of gantry cranes, straddle carriers and truck slots at transfer point. The results suggest terminal performance indicators such as level of productivity, waiting time and equipment’s idle time for each deployment scenarios which is beneficial as decision support systems for efficient management of terminal equipment.

Abstract: Urban transport is an important part of urban activities, and it is not just a public works technical problems or traffic problems, but also is a comprehensive social problems. There are some traffic congestion problems exist in the current urban traffic network. By using the theory of generalized stochastic Petri to the study of Cyber-physical Systems (CPS), this paper established an urban transport GSPN (Generalized Stochastic Petri Net) model, which chosen bus priority strategies to improve the utilization of road.

Abstract: The working principle of Programmable Logic Controller (PLC) is introduced. Three kinds of PLC programming method, logic based method, function based method and Petri Net based method are emphasized. The example is also given. It also points out that function based PLC programming method is a practical engineering method.

Abstract: Emergency communication refers to the appearance of natural or man-made sudden emergencies, which comprehensively use various communication resources to guarantee the emergency rescue and necessary communication. Emergency communication system requires not only mobile, but also rapid response and wide range. According to these requirements, the paper establishes a process model based on Object-oriented Petri net. The application shows that the model can be used to conveniently describe the dynamic and uncertainty characteristics of emergency communication tasks, which can reduce the complexity of process organization and provide the conditions for fast restructuring and integrating functions of module tasks.

Abstract: Compared to other steps in CAPP, decision of a processing scheme representing a real challenge for engineers. However, this problem was hitherto not solved completely. Started by proposing definitions of Petri net system and T_ invariants, a fuzzy rule-based Petri net model is then presented, which allows for machining part surface according to the principle of Petri net and the production rule. Afterwards, a new selective processing program is stated, which is so-called T_ invariants generation, considering the constraints in manufacturing resources. Research of a real case was finally carried out as an illustration, which shows that the best/hypo-best processing plans for part surface can be obtained by using of the proposed decision-making method.

Abstract: Based on the DoDAF V2.0, the paper proposes a three-phased development process for the creation of the executable model of SoS capability architecture. The process not only takes a hybrid framework which supported the performance evaluation of SoS into consideration, but also gives emphasis to the dynamic logical relationship among activities, referred as syntax rules, which is not well highlighted in the current existing executable model creation method. The three phases are: analysis, synthesis/transform and refinement. The goal of the analysis phase is to create the SoS capability architectural description, including CV, OV, DIV, and SV/SvcV. The synthesis/transform phase shows the guideline and principle that govern transformation between the architecture model and PN. The refinement phase illustrates the transformation between OPN and CPN, and refines the interface between event driven dynamics and time driven dynamics to carry out the hybrid simulation.

Abstract: Finding the minimum complete test cases to cover all the behaviors of the protocol by formalized model is the good method to solve protocol testing. A protocol test cases generation method is presented. The method can produce minimum complete test cases. It covers protocol behaviors as much as possible by test cases as little as possible. The basic idea of this method is: express protocol basic test case by Petri net basic process section, combine the test cases by operations such as connection, union and closure, then get the minimum complete test cases. With an example, give the method of producing minimum complete test cases based on LAPD protocol. This method makes the protocol test more accurate and intuitive.

Abstract: This paper aims to analyze the classical transport system using only two processing centers, maintenance can ensure, without negatively impacting the transportation system optimization. To achieve transport system simulation packages have been used to simulate Petri and implementation specialist and preparing conclusion is made based on data specialist. The model is intended to be a source of help in the activities of companies seeking to optimize the transport system and not be disrupted by achieving maintenance. Benefits are those prototypes and analyze the whole system after the implementation of tracking and being able to control the entire system, leading to the prevention and elimination of queues later appearance possible accidents. Studying this system model can deduce new information without the high costs.

Abstract: Intent recognition is an important problem to address in order to enhance the capabilities of battlefield surveillance systems. It is concerned with finding a priori defined template that possibly are instantiated in the present flow of battle events. Intent recognition requires that many sub problems are solved. For instance, we need to establish which actions are interesting, how to represent these actions, and inferable events and states that can be used for representing them. In this paper we discuss current research efforts and goals concerning template-based intent recognition. We provide a categorization of approaches for intent recognition together with a formalization of the template-based intent recognition problem. We discuss this formalization in the light of an air-ground striking scenario. Finally, we conclude that intent recognition is an important problem to look into for enhancing the overall situation awareness of decision makers.

Abstract: When a event must be occur in a series of time span, it will not be fit enough to exhibit system’s time speciality if we use existing time Petri net. Thus, This paper propose a discrete time span Petri net (DTSPN) on the base of time Petri net which using to solve modeling of real system with restrict time span., emphasize on the analysis of state attainability, based on the algorithm of distinguishing model’s valid transaction sequence, a new algorithm about state attainability aimed at DTSPN is proposed, the simulation and analysis capability of Petri net is improved. Finally, example’s analysis indicate that discrete time span Petri net is valid in modeling of real system.