Business system modeling of an agricultural enterprise is one of the difficulties in developing and researching an agricultural enterprise management information system. Given the inadequate description of concurrent and synchronal events in the traditional modeling methods, this paper presents a modeling method, which uses Colored Petri Net. The paper discusses the application of Colored Petri...

Introducing modularity in order to analyze a net means finding methods to decompose it into subnets such that properties of the net can be deduced from properties of these subnets. The aim of this paper is to develop a unified approach for deriving some of the fundamental properties of the global net from the properties of its components for certain types of Petri nets such as Place/Transition ...

In multi-agent systems, negotiations are important activities for solving agent conflicts and forming agent cooperation. Nowadays, many applications require multi-agent systems to work in open and dynamic environments. In such working environments, agents need to face various changeable factors in negotiations The dynamic features of open environments make the need of a flexible mechanism to ha...

Web Services orchestrations require a firm mathematical basis for their development. We start from the Orc formalism proposed by J. Misra and co-workers, at Austin University. Orc is small and elegant and captures the essence of orchestrations. We translate Orc into colored Petri net systems, a generalization of Petri nets allowing to handle recursion—this formalism was recently proposed by Dev...

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

A method is presented for the robust design of ¯exible manufacturing systems (FMS) that undergo the forecasted product plan variations. The resource allocation and the operation schedule of a FMS are modeled as a colored Petri net and an associated transition ®ring sequence. The robust design of the colored Petri net model is formulated as a multi-objective optimization problem that simultaneou...

Petri nets have been widely used to model and analyze biochemical reaction networks. This chapter gives an overview of di↵erent types of Petri nets within a unifying Petri net framework that comprises the qualitative, stochastic, continuous and hybrid paradigms at both uncolored and colored levels. The Petri net framework permits to investigate one and the same biological reaction network with ...