Based on Continuous Petri Net, we build differential equation model for concurrent programs. The program behavior can be analyzed from the curves of the solutions of the differential equations. We show that a program ...
详细信息
Based on Continuous Petri Net, we build differential equation model for concurrent programs. The program behavior can be analyzed from the curves of the solutions of the differential equations. We show that a program state can be measured with a number between 0 and 1, called state measure, indicating how much the state can be reached while the program is in execution. Thus, instead of displaying one state at one time, a program can display all states at one time with state measure attached to each state. This information can help us to estimate where and how much the resources have been used. The advantage of our method is that we can avoid state explosion problem while doing program analysis. Our equations can be solved by Matlab and simulated with a tool: Snoopy.
This article gives a capsule view of research on rough set theory and applications ongoing at universities and laboratories in China. Included in this capsule view of rough set research is a brief description of the f...
详细信息
This paper describes how agents migrate from one place to another place to collect services or offer services The service architecture is based on two level model: the agent level and system level Both agent and syste...
详细信息
ISBN:
(纸本)9781627486606
This paper describes how agents migrate from one place to another place to collect services or offer services The service architecture is based on two level model: the agent level and system level Both agent and system behaviors are formalized by Labeled Coloured Petri nets Possible agent migration cases have been discussed such as choice, sequential, and clone Our architecture model reclaims the features for agent-based mobile service systems: the agent location and strong mobility.
暂无评论