• DocumentCode
    1571338
  • 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
  • Volume
    1
  • fYear
    1995
  • Firstpage
    563
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/ETFA.1995.496808
  • Filename
    496808
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1571338