A method for enterprise architecture validation with colored Petri Nets

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Accessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets

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...

متن کامل

Accessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets

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...

متن کامل

A method of workflow scheduling based on colored Petri nets

Article history: Received 14 September 2010 Received in revised form 15 November 2010 Accepted 15 November 2010 Available online 24 November 2010 Effective methods of workflow scheduling can improve the performance of workflow systems. Based on the study of existing scheduling methods, a method of workflow scheduling, called phasedmethod, is proposed. This method is based on colored Petri nets....

متن کامل

Validation of Dynamic Behavior in UML Using Colored Petri Nets

This paper describes an approach for modeling the behavioral characteristics of concurrent objectoriented designs using the Petri net formalism. Specifically, this paper describes an approach for integrating colored Petri nets with concurrent object architecture designs created with the COMET method and specified in the Unified Modeling Language (UML). This work is part of an on-going effort to...

متن کامل

Modeling workflow processes with colored Petri nets

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 ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Management Science Letters

سال: 2012

ISSN: 1923-9335,1923-9343

DOI: 10.5267/j.msl.2012.07.026