The paper offers an overview on recent techniques for representing Biological Pathways with Petri Nets and their extensions. The main focus is on the metabolic pathways and their representation by standard Petri Nets, self-modified Petri Nets and Colored (High Level) Petri Nets. Gene Regulatory Pathway and Message Massing Nets are also considered. All biological information are taken from the K...

The paper presents the current status of the software tool TimeNET. It supports modeling and performance evaluation of stochastic models, including extended deterministic and stochastic Petri nets, colored stochastic Petri nets, and Markov chains as well as UML extensions. Among its main characteristics are simulation and analysis modules for stationary and transient evaluation of Petri nets in...

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

Configuring production processes based on process platforms has been well recognized as an effective means for companies to provide product variety while maintainingmass production efficiency. The production processes of product families involve diverse variations in manufacturing and assembly processes resulted from a large variety of component parts and assemblies. This paper develops a multi...

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

A new approach to model multi-agent systems with hierarchical colored Petri nets is introduced. Every agent has its colored Petri net system, when agents are composed into a MAS, we get hierarchical colored Petri net system of the multi-agent system, properties of the hierarchical colored Petri net system, such as reachability, deadlock detection and avoidance, fairness can be used to analyze d...

Based on the Extended Colored Stochastic Petri Nets (ECSPN), the workflow system was modeled and simulated. To improve described capacity of the traditional Petri nets, a model of the extended colored stochastic Petri nets is proposed, and then an instance is given to explain how to model workflow system with priority queuing and multi-instances. Through analysis of the simulation data of the m...

Experienced Petri net modelers model in terms of patterns, just like object-oriented programmers use the design patterns of Gamma et al. So far there is no any structured collection of patterns for Colored Petri Nets. We have empirically collected 34 patterns in Colored Petri Nets and documented them in the pattern format. The patterns focus on the interplay between data-flow and control-flow, ...