In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...

In a Cloud-computing environment, consumers, brokers, and service providers interact to achieve their individual purposes. In this regard, service providers offer a pool of resources wrapped as web services, which should be composed by broker agents to provide a single virtualized service to Cloud consumers. In this study, an agent-based test bed for simulating Cloudcomputing environments is de...

In this paper we introduce a new modeling paradigm for developing a decision process representation called the Colored Decision Process Petri Net (CDPPN). It extends the Colored Petri Net (CPN) theoretic approach including Markov decision processes. CPNs are used for process representation taking advantage of the formal semantic and the graphical display. A Markov decision process is utilized a...

Nowadays the active traffic management is enabled for better performance due to the nature of the real-time large data in transportation system. With the advancement of large data, monitoring and improving the traffic safety transformed into necessity in the form of actively and appropriately. Per-formance efficiency and traffic safety are considered as an im-portant element in measuring the pe...

This paper discusses the rationale of process platform-based production configuration in mass customization production. A multilevel system of nested colored object-oriented Petri nets (PNs) with changeable structures is developed to model the configuration of production processes. The obtained process for a new member of a product family involves both manufacturing and assembly processes for t...

The de®nition and maintenance of work¯ow processes have become important tasks for enterprises as work¯ow management systems (WFMS) are systematically applied to critical business processes. In order to simplify the management and usage of work¯ow processes and to integrate with other applications, a good modeling method is essential. The WFCP-net (work¯ow-net based on colored Petri net) is an ...

Role based access control has emerged as a promising new approach to security for advanced applications because of the several benefits it provides. However, most of the research efforts in this area has been focused towards the specification and modeling of RBAC systems. The crucial issue of verification of role based access control policies has not been adequately investigated in the literatu...

This paper presents an initial approach in an attempt to integrate powerful propositional planning tools within a general planning process possibly involving both numerical and symbolic uncertainties. Recently developed propositional approaches to planning allow to build and search efficiently a planning graph. Yet, handling uncertainty and numerical optimization criteria within such frameworks...