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.
[1] Krzysztof R. Apt,et al. Contributions to the Theory of Logic Programming , 1982, JACM.
[2] Keith L. Clark,et al. PARLOG: parallel programming in logic , 1986, ACM Trans. Program. Lang. Syst..