A decomposition method for optimal firing sequence problems for first-order hybrid petri nets

Tatsushi Nishi, Kenichi Shimatani, Masahiro Inuiguchi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

In this paper, we propose a general decomposition method for transition firing sequence problems for first order hybrid Petri Nets. The optimal transition firing sequence problem for first-order hybrid Petri Nets is formulated as a mixed integer programming problem. We propose a Lagrangian relaxation method for solving optimal transition firing sequence problems. The hybrid Petri Net is decomposed into several subnets in which the optimal firing sequence for each subnet is easily solved. The optimality of solution can be evaluated by duality gap derived by Lagrangian relaxation method. The proposed method is applied to a small-scale example. Computational experiments demonstrate the validity of the proposed formulation.

Original languageEnglish
Title of host publicationProceedings 2009 IEEE International Conference on Systems, Man and Cybernetics, SMC 2009
Pages2854-2859
Number of pages6
DOIs
Publication statusPublished - 2009
Externally publishedYes
Event2009 IEEE International Conference on Systems, Man and Cybernetics, SMC 2009 - San Antonio, TX, United States
Duration: Oct 11 2009Oct 14 2009

Publication series

NameConference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
ISSN (Print)1062-922X

Conference

Conference2009 IEEE International Conference on Systems, Man and Cybernetics, SMC 2009
CountryUnited States
CitySan Antonio, TX
Period10/11/0910/14/09

Keywords

  • Decomposition
  • Firing sequence problem
  • First-order hybrid petri nets
  • Lagrangian relaxation
  • Optimization

ASJC Scopus subject areas

  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Human-Computer Interaction

Fingerprint Dive into the research topics of 'A decomposition method for optimal firing sequence problems for first-order hybrid petri nets'. Together they form a unique fingerprint.

Cite this