FRAMEWORK FOR MODELING AND ANALYSIS OF DISTRIBUTED PROBLEM-SOLVING SYSTEMS

被引:2
|
作者
UMA, G [1 ]
PRASAD, BE [1 ]
REDDY, PG [1 ]
机构
[1] UNIV HYDERABAD,SCH MCIS,ARTIFICIAL INTELLIGENCE LAB,HYDERABAD 500134,ANDHRA PRADESH,INDIA
关键词
ANALYSIS; COLORED TOKENS; CUMULATIVE PLACES; DEADLOCKS; DISTRIBUTED INTELLIGENT SYSTEMS; DIPS PETRI NET; INHIBITION ARCS; MATRIX EQUATIONS; NONPRIMITIVE PLACES AND TRANSITIONS; PLACE INVARIANTS; REACHABILITY TREES (ANALYSIS); SCIENTIFIC-COMMUNITY METAPHORS;
D O I
10.1016/0950-7051(92)90041-D
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Petri nets have the basic concepts necessary to model distributed systems with asynchronous processes. Petri nets are not directly applicable to certain kinds of systems like distributed intelligent systems (DISs). These are complex systems where multiple intelligent agents cooperate through communication to achieve the solution to a problem. The paper identifies the limitations of ordinary Petri nets for modeling DISs and proposes extensions. The extended Petri net incorporates colored tokens, inhibition arcs, non-primitive places and transitions, multiple copies of tokens and cumulative places. It is called a distributed problem-solving Petri net. The definitions and analysis techniques are given and illustrated by means of an example.
引用
收藏
页码:295 / 304
页数:10
相关论文
共 50 条