• DocumentCode
    2946349
  • Title

    Agent-Oriented Boolean Token and Colored Transition Petri Net for Workflow Management

  • Author

    Sui Jie ; He Longtao ; Yu Hua

  • Author_Institution
    Coll. of Eng., Grad. Univ. of Chinese Acad. of Sci., Beijing, China
  • Volume
    3
  • fYear
    2009
  • fDate
    11-12 April 2009
  • Firstpage
    709
  • Lastpage
    712
  • Abstract
    Petri nets are a kind of effective graphic modeling tool. The agent technology is combined with Petri nets in order to enhance flexibility and extendibility. The agent-oriented Boolean token and colored transition Petri nets is proposed. Some characteristics such as liveness, fairness and safety are analyzed. Finally, an example in workflow management system of mould agile manufacturing is given to illustrate the use of it.
  • Keywords
    Boolean algebra; agile manufacturing; object-oriented programming; production management; software agents; agent technology; agent-oriented boolean token; agent-oriented programming language; colored transition petri net; mould agile manufacturing; workflow management; Agile manufacturing; Automation; Computer network management; Conference management; Disaster management; Educational institutions; Mechatronics; Petri nets; Power system modeling; Technology management; Petri net; agent; agile manufacturing; boolean token; workflow management;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Measuring Technology and Mechatronics Automation, 2009. ICMTMA '09. International Conference on
  • Conference_Location
    Zhangjiajie, Hunan
  • Print_ISBN
    978-0-7695-3583-8
  • Type

    conf

  • DOI
    10.1109/ICMTMA.2009.245
  • Filename
    5203301