Specifications and Rapid Prototyping of Multi-agent Systems through Coloured Petri Net Represented in Abductive Logic Programming (CPN-LP).
T. H. FungPublished in: Web Intelligence (2006)
Keyphrases
- petri net
- rapid prototyping
- multi agent systems
- abductive logic programming
- agent oriented programming
- concurrent systems
- reactive systems
- logic programs
- petri net model
- web service composition
- development environment
- colored petri nets
- stochastic petri net
- fuzzy petri net
- proof procedure
- formal specification
- service composition
- multi agent
- operational semantics
- simulation platform
- process model
- logic programming
- database systems
- agent technology
- ims ld
- intelligent agents
- data management
- fuzzy logic
- optimal solution
- databases