Extended Simple Colored Petri Nets (ESCP-nets) are a new class of High-level Petri Nets conceived as a good trade-off between Petri Nets (P-nets) and Colored Petri Nets (CP-nets), to be used in plant simulation. ESCP-nets, while being much more convenient and compact than P-nets, are fairly simpler than CP-nets, thus being more easily implemented and more amenable to formal analysis. Furthermor...

The paper contributes to modeling an orchestrated complex Web Service (BPEL) with Colored Petri Nets (CPNs) for diagnosis. In the CPNs model, colored tokens are used to represent the faults in a BPEL process. A uniform fault model is introduced to represent both the faulty input data and external faulty Web services called by the BPEL activities. We use three I/O data dependency relations for e...

The paper contributes to modeling an orchestrated complex Web Service (BPEL) with Colored Petri Nets (CPNs) for diagnosis. In the CPNs model, colored tokens are used to represent the faults in a BPEL process. A uniform fault model is introduced to represent both the faulty input data and external faulty Web services called by the BPEL activities. We use three I/O data dependency relations for e...

secure electronic transaction (set) protocol is an open protocol, which has the potential to emerge as a powerful tool in securing of electronic transactions. the quality of a design of an ecommerce protocols has a great influence on achieving non-functional requirements (nfrs) to the system. an increasingly important non-functional attribute of complex software systems is adaptability. softwar...

Experienced Petri net modelers model in terms of patterns, just like object-oriented programmers use the design patterns of Gamma et al. So far there is no any structured collection of patterns for Colored Petri Nets. We have empirically collected 34 patterns in Colored Petri Nets and documented them in the pattern format. The patterns focus on the interplay between data-flow and control-flow, ...

Reachability analysis is a general approach to analyze Petri nets, but the state space explosion often permits its application. In the eld of performance analysis of stochastic Petri nets, modular representations of reachability graphs using Kronecker algebra have been successfully applied. This paper describes how a Kronecker representation of the reachability graph is employed for exploration...

This paper describes how colored Petri nets can be used for modeling the Paris underground Metro system. This is one of the most complex metro systems in the world. In this paper, the metro system is analyzed and described. The method of analysis is outlined. A working model for three of the major lines was constructed using CPNs. The results and other issues that have to be tackled are explain...

Introducing modularity in order to analyze a net means finding methods to decompose it into subnets such that properties of the net can be deduced from properties of these subnets. The aim of this paper is to develop a unified approach for deriving some of the fundamental properties of the global net from the properties of its components for certain types of Petri nets such as Place/Transition ...

The paper offers an overview on recent techniques for representing Biological Pathways with Petri Nets and their extensions. The main focus is on the metabolic pathways and their representation by standard Petri Nets, self-modified Petri Nets and Colored (High Level) Petri Nets. Gene Regulatory Pathway and Message Massing Nets are also considered. All biological information are taken from the K...

The paper presents the current status of the software tool TimeNET. It supports modeling and performance evaluation of stochastic models, including extended deterministic and stochastic Petri nets, colored stochastic Petri nets, and Markov chains as well as UML extensions. Among its main characteristics are simulation and analysis modules for stationary and transient evaluation of Petri nets in...