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

At present, the resource modeling of workflow net (WF-net) are too simple to describe complex workflow. Thus, its application is not satisfying in practical use. Based on the analysis of resource management problems, unified resources management which gets the identical resource request and release process is proposed. The method of identical resource-modeling reduces complexity of WF-net model...

SUMMARY To investigate biomolecular networks, Snoopy provides a unifying Petri net framework comprising a family of related Petri net classes. Models can be hierarchically structured, allowing for the mastering of larger networks. To move easily between the qualitative, stochastic and continuous modelling paradigms, models can be converted into each other. We get models sharing structure, but s...

process mining includes the automated discovery of petri nets from event logs. these event logs are the starting point for various discovery and analysis techniques of the process.  in this paper process model is developed using colored petri nets (cpns) and the supporting software package cpn tools. the restaurant process model is represented for the analysis using a combination of process min...

We present a new class of Petri Nets, called Extended Simple Colored Petri Nets (ESCP-nets), which are essentially Simple Colored Petri Nets (SCP-nets) with three added features: first, there is a built-in type of real numbers; second, tokens can be forced to wait in places; third, an interface specifies how the Net can be externally supervised. Even if these added features also add complexity,...

The automatic synthesis of a plan to perform a robotized assembly task from a high level description of the product to be assembled is a difficult issue which involves assembly planning and task planning. One of the main scopes of task planning is the planning of contact motions, which usually relies on a graph representation of contact space. This paper deals with the automatic computation of ...

Petri nets exist for over 30 years. Especially in the last decade Petri nets have been put into practice extensively. Thanks to several useful extensions and the availability of computer tools, Petri nets have become a mature tool for modelling and analysing industrial systems. This paper describes an approach based on a high-level Petri net model, i.e. an extended version of the classical Petr...

Petri nets exist for over 30 years. Especially in the last decade Petri nets have been put into practice extensively. Thanks to several useful extensions and the availability of computer tools, Petri nets have become a mature tool for modelling and analysing industrial systems. This paper describes an approach based on a high-level Petri net model, i.e. an extended version of the classical Petr...

We propose a hybrid architecture for the simulation of plants. Its core is a Petri Net executor based on a new class of Petri Nets called Extended Simple Colored Petri Nets. The executor is supervised by an expert system. Our architecture is very well-suited for the software-engineering development of plant simulators, as development times and errors can be dramatically reduced. The validity of...

Petri nets are a discrete event simulation approach developed for system representation, in particular for their concurrency and synchronization properties. Various extensions to the original theory of Petri nets have been used for modeling molecular biology systems and metabolic networks. These extensions are stochastic, colored, hybrid and functional. This paper carries out an initial review ...