modeling and performance analysis of restaurant's service delivery process using colored petri nets

modeling and performance analysis of restaurant's service delivery process using colored petri nets

process mining includes the automated discovery of petri nets from event logs. these event logs are the starting point for various discovery and analysis techniques of the process.  in this paper process model is developed using colored petri nets (cpns) and the supporting software package cpn tools. the restaurant process model is represented for the analysis using a combination of process min...

Colored Decision Process Petri Nets: Modeling, Analysis and Stability

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

Modeling and Analysis of Security Protocols Using Colored Petri Nets

Security protocols are the basis of security in networks. Therefore, it is essential to ensure that these protocols function correctly. However, it is difficult to design security protocols that are immune to malicious attack, since good analysis techniques are lacking. In this paper, the current main analysis techniques using Colored Petri Nets (CP-Nets) for analysis of security protocols are ...

Using Colored Petri Nets for Conversation Modeling

Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational model it uses. Finite State Machines, used heavily to date for this purpose, are not su cient for complex agent interactions requiring a notion of concurrency. We propose the use of Colored Petri Nets as a model underlyin...

Workkow Modeling and Performance Evaluation with Colored Stochastic Petri Nets

Workflow Modeling and Performance Evaluation with Colored Stochastic Petri Nets

There is a need for modeling and performance evaluation techniques and tools for a fast and reliable design of workflow systems. The paper introduces a modeling methodology based on colored stochastic Petri nets. For describing a business process it is necessary to consider different aspects. Essential are functional (In what order?), organizational (By whom?) and information related aspects (W...