Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets.
Marina BagicPublished in: OTM Workshops (2004)
Keyphrases
- intelligent agents
- petri net
- sequence diagrams
- formal methods
- multi agent systems
- agent systems
- agent architecture
- multi agent
- petri net model
- uml profile
- reactive systems
- intelligent systems
- ims ld
- discrete event systems
- software agents
- building intelligent
- intelligent software agents
- artificial agents
- fuzzy petri net
- colored petri nets
- mobile agents
- software architecture
- mental states
- artificial intelligence
- belief desire intention
- stochastic petri net
- agent interactions
- process model
- service composition
- software systems
- human users
- programmable logic controller
- complex systems
- software engineering
- knowledge representation
- web services