@article{(Open Science Index):https://publications.waset.org/pdf/10676, title = {Representation of Coloured Petri Net in Abductive Logic Programming (CPN-LP) and Its Application in Modeling an Intelligent Agent}, author = {T. H. Fung}, country = {}, institution = {}, abstract = {Coloured Petri net (CPN) has been widely adopted in various areas in Computer Science, including protocol specification, performance evaluation, distributed systems and coordination in multi-agent systems. It provides a graphical representation of a system and has a strong mathematical foundation for proving various properties. This paper proposes a novel representation of a coloured Petri net using an extension of logic programming called abductive logic programming (ALP), which is purely based on classical logic. Under such a representation, an implementation of a CPN could be directly obtained, in which every inference step could be treated as a kind of equivalence preserved transformation. We would describe how to implement a CPN under such a representation using common meta-programming techniques in Prolog. We call our framework CPN-LP and illustrate its applications in modeling an intelligent agent. }, journal = {International Journal of Computer and Information Engineering}, volume = {2}, number = {4}, year = {2008}, pages = {1185 - 1194}, ee = {https://publications.waset.org/pdf/10676}, url = {https://publications.waset.org/vol/16}, bibsource = {https://publications.waset.org/}, issn = {eISSN: 1307-6892}, publisher = {World Academy of Science, Engineering and Technology}, index = {Open Science Index 16, 2008}, }