Title :
Simulation of colored Petri nets in concurrent logic programming
Author :
Naim, A. ; Tisseau, J.
Author_Institution :
LIMI, Ecole Nat. d´´Ingenieurs de Brest, France
Abstract :
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
Keywords :
Petri nets; logic programming; parallel programming; production control; simulation; Parlog; colored Petri nets; concurrent logic programming; manufacturing system simulation; modelling; oriented bipartite graph; Bipartite graph; Electronic mail; Logic programming; Manufacturing systems; Merging; Petri nets; Power system modeling; Production systems; Protocols; Terminology;
Conference_Titel :
Emerging Technologies and Factory Automation, 1995. ETFA '95, Proceedings., 1995 INRIA/IEEE Symposium on
Conference_Location :
Paris
Print_ISBN :
0-7803-2535-4
DOI :
10.1109/ETFA.1995.496808
