All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

An algorithm for the evolution graph of extended Hybrid Petri nets

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F04%3A03101741" target="_blank" >RIV/68407700:21230/04:03101741 - isvavai.cz</a>

  • Result on the web

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    An algorithm for the evolution graph of extended Hybrid Petri nets

  • Original language description

    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 paper introduces an algorithm generating the evolution graph consisting of IB-states. A model of hydro-system is used as an illustrative example.

  • Czech name

    Není k dispozici

  • Czech description

    Není k dispozici

Classification

  • Type

    A - Audiovisual production

  • CEP classification

    BC - Theory and management systems

  • OECD FORD branch

Result continuities

  • Project

    <a href="/en/project/LN00B096" target="_blank" >LN00B096: Center for Applied Cybernetics</a><br>

  • Continuities

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Others

  • Publication year

    2004

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • ISBN

    0-7803-8567-5

  • Place of publication

    Piscataway

  • Publisher/client name

  • Version

  • Carrier ID

    neuvedeno