management, logic programming, mobile agents, ontologies, pervasive computing, Petri