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.

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.

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.

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.

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.

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

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.

A framework for interoperability of BPEL-based workflows

With the prevalence of service-oriented architecture （SOA）, web services have become the dominating technology to construct workflow systems. As a workflow is the composition of a series of interrelated web services which realize its activities, the interoperability of workflows can be treated as the composition of web services. To address it, a framework for interoperability of business process execution language （BPEL）-based workflows is presented, which can perform three phases, that is, transformation, eonformance test and execution. The core components of the framework are proposed, especially how these components promote interoperability. In particular, dynamic binding and re-composition of work-flows in terms of web service testing are presented. Besides, an example of business-to-business （B2B） collaboration is provided to illustrate how to perform composition and conformance test.

Modeling unmanned aerial vehicle system for identifying foci of arboviral disease with monitoring system

People who live in low-income and hard-to-reach regions are usually the most affected ones by high incidences of arboviral diseases,increasing morbidity and mortality rates,and public health costs.We present the modeling of hardware and software components of an unmanned aerial vehicle(UAV)system by mathematical tools,focusing on monitoring foci of arboviral diseases transmitted by Aedes aegypti mosquito,e.g.,Zika,Chikungunya,and Dengue.We used restriction equations and the colored Petri nets formal modeling language to represent the flight dynamics and the software components of the system,respectively.We evaluated the specification of desired behaviors of the monitoring system using simulations and the model checking technique.The results showed the completeness and correctness of the specification.The design of such a system is challenging due to the potential risks to people and the environment.Therefore,this study provides insights into the development of an UAV system for such an application scenario.The monitoring system has the potential of improving the efficiency in identifying foci of arboviral diseases.