Simulation of colored Petri nets in concurrent logic programming

This paper deals with the modelling of colored Petri nets (colored PN) in concurrent logic programming. The manufacturing system simulation shows a growing interest for the PN implementation in logic programming, where the nodes of PN can be seen as interprocess communication.