For the most recent entries see the Petri Nets Newsletter.

Specifications and Rapid Prototyping of Multi-agent Systems through Coloured Petri Net Represented in Abductive Logic Programming (CPN-LP).

Fung, T.H.

In: wi, pages 565-571. 2006.

Abstract: Specifications and prototyping are valuable means to help software engineers when developing complicated systems. In this paper, we propose a method for specifying a multi-agent system using coloured Petri net (CPN). By representing the coloured Petri net as an abductive logic programming (which is an extension of logic (LP) programming and is purely based on classical logic), a prototype is immediately resulted. Every inference step of the implementation of the prototype can be regarded as a kind of equivalence preserved transformation. We call our framework CPN-LP and use an example on Dutch auction protocol to illustrate its application.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography