Modeling and verifying multi-agent behaviors using predicate/transition nets

Keyphrases

• Transition Model 100%
• Compact Structure 50%
• Petri Nets 50%
• Parallel Actions 50%
• Formal Approach 50%
• Multi-agent 50%
• Dependency Relations 50%
• Multi-agent Systems 50%
• Reachability Analysis 50%

Computer Science

• multi agent 100%
• Transition Model 40%
• Petri Net 20%
• Dependency Relation 20%
• Multi Agent Systems 20%
• Reachability Analysis 20%
• Multiagent Model 20%
• Planning Graph 20%
• Capability Agent 20%