Despite their attractive properties, networked virtual environments (net-VEs) are notoriously difficult to design, implement and test due to the concurrency, real-time and networking features in these systems. The current practice for netVE design is basically trial and error, empirical, and totally lacks formal methods. This paper proposes to apply a Petri net formal modeling technique to a ne...

We offer a hybrid system, which is integrated with the fuzzy system and Petri net models of discrete event system. It is convenient to users or students for building the model-level of system while in learning. We exploit the characteristics of fuzzy theory, imprecise or ambiguous information, to map the algorithm of crisp inputs and outputs. Furthermore, model problems, product a nonlinear fun...

Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...

Petri nets are widely used for modelling systems. The different areas and goals require different types of Petri nets. Each Petri net contains beside places, transitions, and arcs several further specific elements. Furthermore, a Petri net type defines a specific firing rule. There are many different Petri net types. It is not easy to have a general view on this bulk of Petri net types. Thus, t...

This paper is a short survey about the main fuzzy Petri net models which have been recently developed. We focus on the applicability of such approaches in the eld of manufacturing systems and factory automation. We also point out the main issues concerning the consistency of Petri net theory and these models. 1.1 Why Fuzzy Petri nets are useful for CIME? Factory automation has been addressed at...