• DocumentCode
    428861
  • Title

    An algorithm for the evolution graph of extended hybrid Petri nets

  • Author

    Svadova, Martina ; Hanzalek, Zdenek

  • Author_Institution
    Center for Appl. Cybern., Czech Tech. Univ., Prague, Czech Republic
  • Volume
    5
  • fYear
    2004
  • fDate
    10-13 Oct. 2004
  • Firstpage
    4905
  • Abstract
    Extended hybrid Petri nets (eHPNs) defined by David & Caramihai are one of possible extensions of hybrid Petri nets modeling a delay on continuous flow. The behavior of hybrid dynamic systems, modeled by eHPNs, can be studied using an evolution graph. This work introduces an algorithm generating the evolution graph consisting of IB-states. A model of hydro-system is used as an illustrative example.
  • Keywords
    Petri nets; delays; discrete event systems; evolution graph; extended hybrid Petri nets; hybrid dynamic systems; Algorithm design and analysis; Character generation; Cybernetics; Delay effects; Delay systems; Fluid dynamics; Manufacturing systems; Mathematical model; Petri nets; Protocols;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems, Man and Cybernetics, 2004 IEEE International Conference on
  • ISSN
    1062-922X
  • Print_ISBN
    0-7803-8566-7
  • Type

    conf

  • DOI
    10.1109/ICSMC.2004.1401308
  • Filename
    1401308