Petri Net Diagram Research Articles

Method of Risk Detection Model in Packet Filtering

This article describes Petri net diagrams for fuzzy knowledge and reasoning. A mathematical model of fuzzy Petri nets to detect risks in rules by packet filtering is formed. A model of a two-level fuzzy packet filtering system that provides packet filtering perfor-mance is presented. This model uses fuzzy Petri net as a graphical method to describe the fuzzy logical control of the movement of packets through the firewall and allows it to determine the level of threat embedded in packets from the Internet and to change the or-der of ACLs by determining the rating of acceptance and rejection of packets. In the proposed model, the packet is represented by a token in place of fuzzy Petri nets, and the operation of the packet is illustrated by the transition of fuzzy Petri net, which is responsible for moving the packet from one place to another.

A Reliable ATM Protocol and Comparative Analysis on Various Parameters with Other ATM Protocols

An automated teller machine (ATM) is a new banking system in which an account holder can access his/her account anytime and anywhere with bank given ATM cum Debit card. User can interact with the bank through this card. Some more facilities are there by using this machine. But system has lacks of security issues like masquerading etc. for the user. Therefore this problem encourages us to introduce an efficient system to fight with the all possible threats by using DynaPass on existing mobile network. An efficient protocol proposed here to minimize these threats. This protocol has modelled through Petrinet diagram using Tina Pro under various parameters. And finally it compared with the existing protocols on the ground of security, delay and cost

Modeling and analysis of urban rail plug door system based on Petri net and SDG diagram

The on-the-road fault diagnosis of the urban rail train passenger compartment door is a weak field in the world research. At present, most of the fault diagnosis and monitoring models for door systems are based on the analysis of historical data. Under the background of continuous development and innovation of railroad crossing equipment, it is urgent to study the model of door system suitable for online monitoring and fault diagnosis. The modeling method combining SDG(signed directed graph) diagram and Petri net is adopted. The Petri net with improved conditional fuzzy time constraint is the first layer, and the SDG diagram is the second layer. Through the dynamic simulation and concurrent processing capability of Petri net, the dynamic process simulation of the system is carried out. At the same time, the SDG map and the Petri net are connected by means of standard tables; The SDG diagram is used to construct a hazard identification and fault mining for the causal relationship between related variables in a certain state of the library. Aiming at the urban rail passenger room plug door system, the model is established and the online safety monitoring hidden danger mining process of the model method in the urban rail plug door is analyzed.

Modeling and evaluation of information systems using coloured petri network

Article history: Received January 4, 2014 Accepted 1 June 2014 Available online June 9 2014 Nowadays with the growth of organizations and their affiliates, the importance of information systems has increased. Functional and non-functional requirements of information systems in an organization are supported. There are literally several techniques to support the functional requirements in terms of software methodologies, but support for the second set of requirements has received little attention. Software Performance Engineering (SPE) forum tries to address this issue by presenting software methodologies to support both types of requirements. In this paper, we present a formal model for the evaluation of system performance based on a pragmatic model. Because of supporting the concurrency concepts, petri net has a higher priority than queuing system. For mapping UML to colored Petri net diagram, we use an intermediate graph. The preliminary results indicate that the proposed model may save significant amount of computations. © 2014 Growing Science Ltd. All rights reserved.

A PETRI NET BASED AGENT BEHAVIORAL TESTING

In Multi-Agent System (MAS), developers concentrate on creating design models and evolving them, from higher level models to lower level models, in several steps. Considerable part of MAS implementations is automatically produced from the design models. If a design model contains faults, they are passed to the generated implementations. Practical model validation techniques are required to discover and delete faults in abstract design models. We introduce a formal approach for agent design testing. It specifies a testing process that complements Multi-agent Systems Engineering (MaSE) methodology and strengthens the mutual relationship between UML and MAS. Besides, it defines a structured and comprehensive testing process for engineering software agents at the design level by providing a systematic way of converting the MAS design models to UML design diagram. Petri Net (PN) diagram is generated from the UML models to simulate the behavior of an agent. Because Petri Nets (PNs) are formal models, their analysis techniques can be applied to automatic agent behavioral testing.

A Petri Net Based Multi-Agent System Behavioral Testing

In Multi-Agent System (MAS), developers concentrate on creating design models and evolving them, from higher level models to lower level models, in several steps. Considerable part of MAS implementations is automatically produced from the design models. If a design model contains faults, they are passed to the generated implementations. Practical model validation techniques are required to discover and delete faults in abstract design models. In this paper, we introduce a formal approach for MAS design testing. It specifies a testing process that complements Multi-agent Systems Engineering (MaSE) methodology and strengthens the mutual relationship between UML and MAS. Besides, it defines a structured and comprehensive testing process for engineering software agents at the design level by providing a systematic way of converting the MAS design models to UML design diagram. Then a Petri Net (PN) diagram is generated from the UML models to simulate the behavior of the MAS system. Finally, because Petri Nets (PNs) are formal models, their analysis techniques can be applied to automatic MAS behavioral testing.

Petri-Net을 이용한 효과적인 다중로봇 제어알고리즘의 구현

A multi-robot control algorithm using Petri-Net is proposed for 5vs5 robot soccer. The dynamic environment of robot soccer is modeled by defining the place and transition of each robot and converting it into Petri-Net diagram. Once all the places and transitions of robots are represented by the Petri-Net model, their actions can be chosen according to the roles of robots and position of the ball in soccer game, e.g., offensive, defensive and goalie robot. The proposed modeling method is implemented for soccer robot system. The efficiency and applicability of the proposed multiple-robot control algorithm using Petri-Net are demonstrated through 5vs5 Middle League SimuroSot soccer game.

A Petri Net based approach to determine the disassembly strategy of a product

In order to protect the environment and regain value added to products, a process known as disassembly has come into the limelight. This process is to be applied to reuse abandoned goods and materials. Manufacturers are being forced to establish disassembly plants and to develop their products' designs so as to maintain the government's dictate to dispose off their products in an environmentally responsible manner. This research presents a cost-based heuristic analysis for a circuit board assembly. Various components of the product and their assembly relationships are represented by a Petri Net diagram. Firing the transitions of the disassembly Petri Net is integrated with cost-based indices to develop an effective disassembly strategy. The methodology discussed here simplifies the decisionmaking process involved in disassembly planning. A comprehensive disassembly process planning system is proposed here and is exemplified by a case study of circuit board assembly.

A software environment to execute automatic operational sequences on the ITER-FEAT DTP facility

The divertor test platform (DTP) maintenance operations are carried out by means of the remote handling equipments (RHE), each dedicated to perform a set of specialised remote actions. Each RHE is controlled by an RHE control system (RHE-CS) and can be locally operated by an RHE-operator using the local control panel (LOP). To perform the maintenance activity, the DTP-operator coordinates the remote operations of every RHEs, using the supervisory system (DTP_SS). Because the remote maintenance activities demand for a high degree of parallelism, automation and cooperation between various RHEs, the development of a software environment (OSAExE) that had the indicated characteristics has been necessary. The OSAExE environment is applicable to any distributed and cooperating system that is modelled as a set of autonomous subsystems. Each maintenance remote sequence needs to be modelled as a modified Petri-net diagram and subsequently ‘compiled’, in order to be automatically executed on OSAExE environment. The OSAExE architecture allows both, to program ‘event driven’ automatic sequences, and to maintain unchanged all the existing DTP_SS features.

Use of timed petri net and activity cycle diagram methodologies for modelling tandem AGVs in FMSs and their performance evaluation

This paper attempts to model the Automated Guided Vehicle (AGV) system of a flexible manufacturing system (FMS) by using timed petri net and Activity Cycle Diagrams (ACDs) as basic tools. A timed petri net used for planning of AGV system in FMSs ensures conflict-free and deadlock free operations of the system. To understand the system as it is observed in practice for delineating the behaviour of entities, the ACDhas been used. Mean utilization and the utilization index have been taken as performance measures to evaluate the system and they have been compared with previous work.

Stability analysis of an adaptive fuzzy control system using Petri Nets and learning automata

A hybrid intelligent control system that combines the theories of fuzzy logic and variable structure systems (VSS) is presented. This control architecture is viewed as a discrete event system (DES) and its properties are studied using the corresponding Petri Net diagram. The equivalence between this controller and a learning finite state automaton is revealed. The validity of the method is supported by simulation results concerning an arc-welding process and a mobile robot moving in a partially unknown environment.

A Petri-net and entity-relationship diagram based object-oriented design method for manufacturing systems control

An evolutionary object-oriented OO design method is proposed for the control software design of an automated manufacturing system. This OO approach is based upon three popular modelling tools-IDEF0, entity relationship diagram ERD and Petri-net. First, IDEF0, ERD and Petri-net models for manufacturing systems are constructed. Some transformation rules are found between these models and the OO model. Finally, simulation and control software are coded, based on the OO model. The practical significances of the proposals are the suggestion of using Petri-net, ERD and IDEF0 as the three models employed in the evolutionary OO design method, which can improve the limitations of existing methods applied in manufacturing systems. The OO paradigm can thus be considered as a suitable mechanism for combining ERD and Petri-net to give integration of information and control system design in a manufacturing system.

A computer network based control architecture for autonomous distributed multirobot systems

This paper presents the specification and implementation procedure using a microcomputer network based autonomous distributed control architecture for industrial multirobot systems. The procedure is based on the concept of data flow network controlled by communicating sequential processes to perform coordinated tasks. Robots and other computerized industrial devices such as conveyors and manufacturing machines are defined as object-oriented Petri nets. A modular and hierarchical approach is adopted to define a set of Petri net type diagrams which represent concurrent activities of control processes for such devices. Asynchronous and synchronous interactions are modelled by places and transitions, respectively, in global process interaction nets. The control software is implemented on a computer network using Inmos transputers with true parallel processing and message passing primitives efficiently handled in hardware. Petri net based models are directly and efficiently transformed to corresponding codes in occam, the high level parallel programming language defined for the transputer.

Petri net representation of decision models

Models of decision-making organizations supported by command, control, and communication systems are represented using the Petri net formalism. A small set of primitives, defining the correspondence between decision models, signals, and functions and their Petri net counterparts, is proposed. A new decision signal-routing demultiplexer is added to the Petri net formalism to represent internal decision-making in the model. Using the above primitives, any decision-making structure can be modeled by a Petri net diagram. An array is introduced that describes the interactions between decision-makers, and an algorithm is presented for the calculation of delay when synchronous protocols are used.