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 VoiceoverInternet Protocol (VoIP) communications. SIP is based on a client-server infrastr...

Distributed Intelligence Systems (DIS) consist of interconnected intelligent nodes that carry out tasks in coordination. The intelligence in the nodes may be due to humans, to machines, or to a combination of human and machine, such as a human with a workstation. An earlier model of an intelligent node was based on ordinary Petri Nets with switches and led to several approaches for the design o...

Aiming at the difficulty in establishing model to describe vehicle running state, real road test was carried out to capture data which represent the movement of vehicles. Coordinate transformation method and transform relationship among different variable parameters were used to establishing represent model of vehicle movement. By using Petri net which had well layering and time sequence, vehic...

In this paper we apply modeling and simulation as an integrated approach to study the patient admission process in a hospital. The span of the processes is of intra and inter-organizational nature, which allows to see the intricacy of organizational processes on one hand, and the process-centric flow of activities on the other hand. This paper resulted from a student research project, where it ...

In this paper we present a Colored Petri Net (CPN) for a multi-agent application. In particular we modeled the Packet-World. In our research we use the packet-world as a case to study the fundamentals of agents' social behavior. Our approach is to combine experiments with conceptual modeling. We start from a very basic model and then add social skills in a modular way. Integrating new social sk...

In this paper the methodology of firewalled LAN models construction in the form of Colored Petri Net is introduced and model the ACL (Access Control List ) in firewalls as the first form of defense for the simulation and analysis of the model the Design/CPN Tools is used The components of the model are Firewall, Switch, Hub, Server and Workstation.

Colored Petri Nets (CPN) are a powerful, recognized and intuitive modelling tool. They allow a precise representation of distributed, embedded and/or real time systems. These models can be then used among others for the dependability assessment. This paper develops a new method of CPN analysis called the Backward reachability. It provides information about different ways of reaching a particula...

In architectures of parallel computing system, which has a large number of processing nodes, communication overhead is an important metric to evaluate and minimize by improving computation speedup solutions. In this paper, we propose using Stochastic Colored Petri Net to give models of parallel computing multi-processing systems for analyzing and evaluating effectiveness of communication overhe...

This paper presents the process-oriented aspects of a formal and visual agent-based business process modeling language. The language is of use for (networks of) organizations that elect or envisage multi-agent systems for the support of collaborative business processes. The paper argues that the design of a collaborative business process should start with a proper understanding of the work prac...

This paper discusses an extension of our previous work (Saitou, 1998) on robustness optimization of flexible manufacturing systems (FMS) that undergo forecasted production plan variations. The extension is made to a more general class of FMS performing “non-linear” or “cyclic” production that allows multiple operation types per one machine type. As in our previous work (Saitou, 1998), a configu...