Formal infrastructure of multiagent system specified by Agent UML and Petri Nets.
Marijan KunsticMarina BagicPublished in: CCCT (2) (2004)
Keyphrases
- software architecture
- multiagent systems
- petri net
- autonomous agents
- multi agent
- sequence diagrams
- petri net model
- reactive systems
- software engineering
- multiagent architecture
- discrete event systems
- multi agent systems
- state machines
- formal methods
- ims ld
- software development
- fuzzy petri net
- agent technology
- colored petri nets
- concurrent systems
- multiagent planning
- multiagent reinforcement learning
- state machine
- design methodologies
- artificial intelligence
- multiple agents
- formal specification
- coalition formation
- robotic soccer
- knowledge representation
- learning in multi agent systems