Modeling Method of Automotive Body CAN/LIN Nets Application Protocol Based on Object-oriented Colored Petri Net

Recently automotive nets are adopted to solve increasing problems in automotive electronic systems.Technologies of automotive local area network from CAN and LIN can solve the problems of the increasing of wire bunch weight and lack in module installation space.However,the multilayer automotive nets software becomes more and more complex,and the development expense is difficult to predict and to keep in check.In this paper,the modeling method of hierarchical automotive nets and the substitution operation based on object-oriented colored Petri net(OOCPN) are proposed.The OOCPN model which analyzes the software structure and validates the collision mechanism of CAN/LIN bus can speed the automobile system development.First,the subsystems are divided and modeled by object-oriented Petri net(OOPN).According to the sets of message sharing relations,the message ports among them are set and the communication gate transitions are defined.Second,the OOPN model is substituted step by step until the inner objects in the automotive body control modules(BCM) are indivisible and colored by colored Petri net(CPN).And the color subsets mark the node messages for the collision mechanism.Third,the OOCPN model of the automotive body CAN/LIN nets is assembled,which keeps the message sets and the system can be expanded.The proposed model is used to analyze features of information sharing among the objects,and it is also used to describe each subsystem real-time behavior of processing messages and implemental device controllers operating,and puts forward a reasonable software framework for the automotive body control subsystem.The research can help to design the communication model in the automotive body system effectively and provide a convenient and rapid way for developing the logical hierarchy software.

MODELING RADIO RESOURCE MANAGEMENT IN COGNITIVE RADIO SYSTEM BASED ON OFDMA USING COLORED PETRI NET

Cognitive Radio(CR) system based on Orthogonal Frequency Division Multiple Access(OFDMA),such as Wireless Regional Area Networks(WRAN) and Worldwide Interoperability for Microwave Access(WiMAX),often attempt to improve performance via dynamic radio resource management,which is characterized as concurrent processing of different traffic and nondeterministic system capacity.It is essential to design and evaluate such complex system using proper modeling and analysis tools.In the previous work,most of the communication systems were modeled as Markov Chain(MC) and Stochastic Petri Nets(SPN),which have the explicit limitation in evaluating adaptive OFDMA CR system with wide area traffic.In this paper,we develop an executable top-down hier-archical Colored Petri Net(CPN) model for adaptive OFDMA CR system,and analyze its performance using CPN tools.The results demonstrate that the CPN can model different radio resource manage-ment algorithms in CR Systems,and the CPN tools require less computational effort than Markov model using Matlab,with its flexibility and adaptability to the traffics which arrival interval and processing time are not exponentially distributed.

A colored Petri net-based model for web service composition

In this paper, a model based colored Petri net （CPN） to provide semantic support for web service composition is proposed, and the reliability and maintainability of composite services are improved. The composite constructs in the model are sequence, concurrent, choice, loop and replace. The web service is formally defined by a CPN. A closed composing algebra is defined to obtain a framework which enables declarative composition of web services. Availability, confidentiality, and integrity of composite service are analyzed within the framework of the model based CPN.

MODELING MULTI-TRAFFIC ADMISSION CONTROL IN OFDMA SYSTEM USING COLORED PETRI NET

Call Admission Control (CAC) is one of the key traffic management mechanisms that must be deployed in order to meet the strict requirements for dependability imposed on the services provided by modern wireless networks. In this paper, we develop an executable top-down hierarchical Colored Petri Net (CPN) model for multi-traffic CAC in Orthogonal Frequency Division Multiple Access (OFDMA) system. By theoretic analysis and CPN simulation, it is demonstrated that the CPN model is isomorphic to Markov Chain (MC) assuming that each data stream follows Poisson distribution and the corresponding arrival time interval is an exponential random variable, and it breaks through MC's explicit limitation, which includes MC's memoryless property and proneness to state space explosion in evaluating CAC process. Moreover, we present four CAC schemes based on CPN model taking into account call-level and packet-level Quality of Service (QoS). The simulation results show that CPN offers significant advantages over MC in modeling CAC strategies and evaluating their performance with less computational complexity in addition to its flexibility and adaptability to different scenarios.

Modeling and Simulation of Textile Supply Chain through Colored Petri Nets

The purpose of this paper is to describe the business process modeling and simulation of a textile supply chain using Colored Petri nets. Our model takes into account both the source process and delivery logistics that exist between any two members of supply chain;moreover, we model other activities performed by the company such as manufacturing clothing. The model has been built to acquire a better understanding about the behavior of a textile company in the fulfillment of requests from costumers. The model has been built using CPN Tools. This model was built with modules for activities of the supply chain textile, e.g. receiving orders of customers, determination of production plan, procurement raw material, transportation of raw material, production and delivering products to customers. This modularized model offers some advantages to represent complex supply chains according to their structure and requirements. Thus, we can add modules easily depending on the necessary activities.

Verification of Session Initiation Protocol Using Timed Colored Petri Net

In this work, Session Initiation Protocol model is established by using Timed Colored Petri Nets (TCPN). SIP (Session Initiation Protocol) is a protocol developed to assist in providing advanced telephony services across the Internet. The Session Initiation Protocol (SIP) has become the quasi-standard for Voiceover-Internet Protocol (VoIP) communications. SIP is based on a client–server infrastructure in which user agents represent the end-terminals as clients, proxy servers handle SIP message routing between the user agents, and registrar servers store the client’s contact information into a location service. By use of timed color set and useful time attributes in tokens defined in CPN tools, timer and time-related problems of SIP are modeled and analyzed. Timer is an important part for SIP, especially the INVITE transaction.

An Attack Modeling Based on Colored Petri Net

A color petri net (CPN) based attack modeling approach is addressed. Compared with graph-based modeling, CPN based attack model is flexible enough to model Internet intrusions, because of their static and dynamic features. The processes and rules of building CPN based attack model from attack tree are also presented. In order to evaluate the risk of intrusion, some cost elements are added to CPN based attack modeling. This extended model is useful in intrusion detection and risk evaluation. Experiences show that it is easy to exploit CPN based attack modeling approach to provide the controlling functions, such as intrusion response and intrusion defense. A case study given in this paper shows that CPN based attack model has many unique characters which attack tree model hasn’t.

Validation of Pervasive Cloud Task Migration with Colored Petri Net

Mobile devices are resource-limited, and task migration has become an important and attractive feature of mobile clouds. To validate task migration, we propose a novel approach to the simulation of task migration in a pervasive cloud environment. Our approach is based on Colored Petri Net（CPN）. In this research, we expanded the semantics of a CPN and created two task migration models with different task migration policies： one that took account of context information and one that did not. We evaluated the two models using CPN-based simulation and analyzed their task migration accessibility, integrity during the migration process, reliability, and the stability of the pervasive cloud system after task migration. The energy consumption and costs of the two models were also investigated. Our results suggest that CPN with context sensing task migration can minimize energy consumption while preserving good overall performance.

Hierarchical Colored Timed Petri Nets for Maintenance Process Modeling of Civil Aircraft

Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process modeling of civil aircraft. Then, we expound a general method of civil aircraft maintenance activities, determine the maintenance level for decomposition, and propose the methods of describing logic of relations between the maintenance activities based on Petri Net. Finally, a time Colored Petri multi-level network modeling and simulation procedures and steps are given with the maintenance example of the landing gear burst tire of a certain type of aircraft. The feasibility of the method is proved by the example.

Compositional colored Petri net approach to multiscale modeling for systems biology

Colored Petri nets have been demonstrated as a powerful tool for modeling multiscale systems biology.However,the construction of colored Petri nets for biological systems requires prior knowledge about colored Petri nets and is often error-prone and cum-bersome for biologists,especially when the communication between components and hierarchical organization of components in a multiscale model are an issue.To address this problem,an established way is to develop small components and then compose them into bigger models.In this paper,we present a compositional colored Petri net approach to aid automatic modeling of systems biology,and demonstrate it with two case stud-ies.We focus on the modeling of communication between components and hierarchical organization of components as they are key to build multiscale models.

Solving Resource-constrained Multiple Project Scheduling Problem Using Timed Colored Petri Nets

To solve the resource-constrained multiple project scheduling problem(RCMPSP) more effectively,a method based on timed colored Petri net(TCPN) was proposed.In this methodology,firstly a novel mapping mechanism between traditional network diagram such as CPM(critical path method)/PERT(program evaluation and review technique) and TCPN was presented.Then a primary TCPN(PTCPN) for solving RCMPSP was modeled based on the proposed mapping mechanism.Meanwhile,the object PTCPN was used to simulate the multiple projects scheduling and to find the approximately optimal value of RCMPSP.Finally,the performance of the proposed approach for solving RCMPSP was validated by executing a mould manufacturing example.

Applying a semantic information Petri Net modeling method to AUV systems design

This paper informally introduces colored object-oriented Petri Nets(COOPN) with the application of the AUV system.According to the characteristic of the AUV system's running environment,the object-oriented method is used in this paper not only to dispart system modules but also construct the refined running model of AUV system,then the colored Petri Net method is used to establish hierarchically detailed model in order to get the performance analyzing information of the system.After analyzing the model implementation,the errors of architecture designing and function realization can be found.If the errors can be modified on time,the experiment time in the pool can be reduced and the cost can be saved.

Modeling of combined Bayesian networks and cognitive framework for decision-making in C2

The command and control（C2） is a decision-making process based on human cognition,which contains operational,physical,and human characteristics,so it takes on uncertainty and complexity.As a decision support approach,Bayesian networks（BNs） provide a framework in which a decision is made by combining the experts＇ knowledge and the specific data.In addition,an expert system represented by human cognitive framework is adopted to express the real-time decision-making process of the decision maker.The combination of the Bayesian decision support and human cognitive framework in the C2 of a specific application field is modeled and executed by colored Petri nets（CPNs）,and the consequences of execution manifest such combination can perfectly present the decision-making process in C2.

Process Mining Discovery Techniques for Software Architecture Lightweight Evaluation Framework

This research recognizes the limitation and challenges of adaptingand applying Process Mining as a powerful tool and technique in theHypothetical Software Architecture (SA) Evaluation Framework with thefeatures and factors of lightweightness. Process mining deals with the largescalecomplexity of security and performance analysis, which are the goalsof SA evaluation frameworks. As a result of these conjectures, all ProcessMining researches in the realm of SA are thoroughly reviewed, and ninechallenges for Process Mining Adaption are recognized. Process mining isembedded in the framework and to boost the quality of the SA model forfurther analysis, the framework nominates architectural discovery algorithmsFlower, Alpha, Integer Linear Programming (ILP), Heuristic, and Inductiveand compares them vs. twelve quality criteria. Finally, the framework’s testingon three case studies approves the feasibility of applying process mining toarchitectural evaluation. The extraction of the SA model is also done by thebest model discovery algorithm, which is selected by intensive benchmarkingin this research. This research presents case studies of SA in service-oriented,Pipe and Filter, and component-based styles, modeled and simulated byHierarchical Colored Petri Net techniques based on the cases’ documentation.Processminingwithin this framework dealswith the system’s log files obtainedfrom SA simulation. Applying process mining is challenging, especially for aSA evaluation framework, as it has not been done yet. The research recognizesthe problems of process mining adaption to a hypothetical lightweightSA evaluation framework and addresses these problems during the solutiondevelopment.

End-of-Life Decision making in circular economy using generalized colored stochastic Petri nets

Circular economy enables to restore product value at the end of life i.e.when no longer used or damaged.Thus,the product life cycle is extended and this economy permits to reduce waste increase and resources rarefaction.There are several revaluation options(reuse,remanufacturing,recycling,...).So,decisionmakers need to assess these options to determine which is the best decision.Thus,we will present a study about an End-Of-Life(EoL)decision making which aims to facilitate the industrialization of circular economy.For this,it is essential to consider all variables and parameters impacting the decision of the product trajectory.A first part of the work proposes to identify the variables and parameters impacting the decision making.A second part proposes an assessment approach based on a modeling by Generalized Colored Stochastic Petri Net(GCSPN)and on a Monte-Carlo simulation.The approach developed is tested on an industrial example from the literature to analyze the efficiency and effectiveness of the model.This first application showed the feasibility of the approach,and also the limits of the GCSPN modelling.

A Study on the Design for Object-Oriented Adaptive Decision-Making Teams

The modern war features a highly distributed coordination. In the face of great time constrains, it is important to change command organizations to adapt to the real environment. Therefore it's a key step to set up adaptive C2 teams. In this paper, the relational problems about distributed C2 organizational structure adaptation are discussed, and the methodology for team decision making design based on the object oriented technique is studied.

Modeling of cognitive framework in time-stressed decision making

An approach for modeling a human cognitive framework in time-stressed decision making is presented. The recognitive and metacognitive processes that represent the cognitive framework are modeled by the colored Petri nets （CPNs）. A structural and behavioral analysis method is adopted to obtain the static and dynamic property used to verify the CPNs model of the cognitive framework. Finally, an example from the command and control radar recognition system is used to evaluate the feasibility and availability of the CPNs model adopted in practical systems.

Security enhancement of WAPI access authentication protocol (WAI)

In this paper, the current known attack methods against WAI and the improvements of WAI called WAI＇ were analyzed. Through analyzing the unicast key agreement protocol in the WAI＇ by CPN model, the vulnerabilities of WAI＇ were found out. The improvement of WAI＇ was made and a new protocol called WAI＇ - E was proposed. The WAI＇ -E was combined with the key exchange mechanism of Diffie-HeUman based on el- liptic curve cryptography. Moreover, by using CK mode, it is the fact that WAI＇-E was SK-secure with PFS and was nrovided with inde^nendant sacuritv ,f cartifient~ mlthentientinn wn~ nravgd

Modelling and Verification of Context-Aware Intelligent Assistive Formalism

Recent years have witnessed the expeditious evolution of intelligentsmart devices and autonomous software technologies with the expandeddomains of computing from workplaces to smart computing in everydayroutine life activities. This trend has been rapidly advancing towards the newgeneration of systems where smart devices play vital roles in acting intelligently on behalf of the users. Context-awareness has emerged from the pervasive computing paradigm. Context-aware systems have the ability to acquirecontextual information from the surrounding environment autonomously,perform reasoning on it, and then adapt their behaviors accordingly. With theproliferation of context-aware systems and smart sensors, real-time monitoring of environmental situations (context) has become quite trivial. However,it is often challenging because the imperfect nature of context can cause theinconsistent behavior of the system. In this paper, we propose a contextaware intelligent decision support formalism to assist cognitively impairedpeople in managing their routine life activities. For this, we present a semanticknowledge-based framework to contextualize the information from the environment using the protégé ontology editor and Semantic Web Rule Language(SWRL) rules. The set of contextualized information and the set of rulesacquired from the ontology can be used to model Context-aware Multi-AgentSystems (CMAS) in order to autonomously plan all activities of the users andnotify users to act accordingly. To illustrate the use of the proposed formalism,we model a case study of Mild Cognitive Impaired (MCI) patients usingColored Petri Nets (CPN) to show the reasoning process on how the contextaware agents collaboratively plan activities on the user’s behalf and validatethe correctness properties of the system.

Functional safety verification and performance measurement of train-train communication link

The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train(T2T)communication link in the communication-based train control system.The introduction of the T2T link would reduce the headway and improve operational efficiency.Formal methods are system design techniques that use rigorously specified mathematical models to ensure all behaviors work as expected.And it is exactly the functional safety verification needed.Therefore,to deal with the functional safety verification of the T2T link,an untimed colored petri net model is first constructed.Secondly,the verification process is performed.Conclusions can be drawn from the state space report and the computation tree logic queries.Lastly,the model is parameterized,and then data log files are obtained for further performance measurement.Results show that the proposed criteria are satisfied and there are no defects in the basic design requirements.The transmission delay has considered the reconnection,transmission errors and the interruption.The probability of the delay lower than 150 ms accounts for 98.106%,which meets the specification and the previous field test.