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

In this paper we aim to set up a framework for object Petri net semantics, allowing the modification of object net structures at runtime. The approach uses linear logic Petri nets (LLPNs) and performs the structure modification on a linear logic encoding of the object net. In addition, Valk’s self-modifying Petri nets are shown to be subsumed by LLPNs. We expand on the existing theory of Farwer...

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

Functional Petri nets and subnets are introduced and studied for the purpose of speed-up of Petri nets analysis with algebraic methods. The authors show that any functional subnet may be generated by a composition of minimal functional subnets. They propose two ways to decompose a Petri net: via logical equations solution and with an ad-hoc algorithm, whose complexity is polynomial. Then proper...

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

The objective of this communication is: • Characterize partial order relations in a scenario – resulting from the structure of the Petri net – resulting from the initial and the final markings (reachability) • Derive an algebraic formulae of the duration of the scenario – how long to go from the initial marking to the final one – a duration is attached to each transition – within the framework ...