This paper presents an environment to automatically generate coordination rules from coloured Petri nets models.

Structural product form and decomposition results for stochastic Petri nets are surveyed, unified and extended. The contribution is threefold. First, the literature on structural results for product form over the number of tokens at the places is surveyed and rephrased completely in terms of T -invariants. Second, based on the underlying concept of group-local-balance, the product form results ...

This paper considers the appropriate properties for abstract net components in the Coloured Petri Net formalism. In doing so, it attempts to maintain the duality between places and transitions which is so foundational to Petri Net theory. It also defines what it means to execute the net at an abstract level.

This paper presents a new approach for linguistic system modeling which is also suitable for stability analysis of linguistic models. First we present an approach, which is called infinite place model, described using modified fuzzy Petri net, with uses a new place definition based on physical infinity state concept. This method has some practical difficulties, which are taking care of in the s...

It is very important for constructing a FPN (fuzzy petri net) to accurately find out all parameters of fuzzy production rules. In this paper, an improved genetic algorithm is introduced into the process of exploring the optimal parameters of a modified FPN. Realization of the algorithm does not depend on experiential data and requirements for the initial input of the FPN are not stringent. Simu...

In order to exploit the massive image information and to handle overload, techniques for analyzing image content to facilitate indexing and retrieval of images have emerged. In this paper, a low-level and high-level image semantic annotation based on Fuzzy Petri Net is presented. Knowledge scheme is used to define more general and complex semantic concepts and their relations in the context of ...