@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},
	}