In this paper we propose a method for implementing a full structural model refinement of a (biological) model represented as a (colored) Petri net. We build on the full structural data refinement definition of C. Gratie and Petre, and the type refinement of colored Petri nets introduced by Charles Lakos. Given a (biological) reaction-based model and a desired full structural refinement of it, w...

grid computing is an emerging computing paradigm that will have significant impact on the next generation information infrastructure. due to the largeness and complexity of grid system, its quality of service, performance and reliability are difficult to model, analyze and evaluate. this paper proposes a virtual tree-structured model of the grid service. this model simplifies the physical struc...

This paper presents and discusses an industrial production system model based on Colored Petri Nets. The model was developed in order to analyse the agent's behavior of a distributed multi-agent system oriented to the simulation of the management and control of a spe-ciic hardmetal production system plant. This eeort help us to create the basis to get a more robust system with means to resist b...

Petri net is used widely to analyze and model various systems formally. Recently, Many Petri nets mania devote their efforts to enhancing and extending the expressive Power of Petri nets. One such effort is to extend Petri nets with object-oriented concepts. An object-oriented paradigm provides excellent concepts to model real-world problems. Object-oriented concepts allow us to build software ...

 The present work is motivated by the need to consider stochastic behavior when planning production mix in a manufacturing system. Because methods that are suitable for planning are not always appropriate for modeling the systems and viceversa, two methods are combined here: systems are modeled using colored Petri nets and then converted into Markov decision processes. A special type of Petri ...

This paper presents a design approach intended for the modeling and synthesis of discrete-event modules of hybrid controllers by combining a model of computation and a soft computing synthesis approach. The model of computation is based on coloured Petri nets (CPNs) and the soft computing method uses fuzzy logic. The design approach converts Petri net models into their equivalent fuzzy sets for...