IEEE Transactions on Software Engineering
Modelling the Work Flow of a Nuclear Waste Management Program
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1
Behavioral modeling and formal verification of a resource discovery approach in Grid computing
Expert Systems with Applications: An International Journal
Hi-index | 0.25 |
As high speed networking becomes more widespread and increasingly accessible from home, a huge variety of new vendors and services will become available to consumers. These services will fall into three main categories: information services, shopping and entertainment. One of the major problems facing an increasingly information-rich society is how to quickly and conveniently locate information which is provided by different servers throughout a large distributed system. The Reference Model for Open Distributed Processing (RM-ODP) deals with the problem of locating services/resources in a heterogeneous open distributed system through the standardization of a Trading function which is realized by a Trader. To increase our understanding of a Trader's dynamic behaviour, a CPN model has been created. The Trader's computational viewpoint has been modelled using a hierarchy of CPNs which allow functional blocks to be modelled separately and their inter-relationships defined. A discussion of the model and techniques for its analysis are presented.