Search results

Records found: 15  
Your query: Author Sysno/Doc.kind = "^stu_us_auth 0026771 xcla^"
  1. Modelling and Use of Adaptive Control Using Petri Nets / aut. Zoltán Balogh, Kristián Fodor, Jan Francisti, Martin Drozda, Maroš Čavojský
    Balogh Zoltán  Fodor Kristián Francisti Jan Drozda Martin ; 035000 Čavojský Maroš ; 035000
    27th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2023), Athens, Greece. 06.-08.09.2023 / . s. 1438-1447
    Petri nets simulation MATLAB Smart homes
    https://www.sciencedirect.com/science/article/pii/S1877050923012905
    článok zo zborníka
    AFC - Reports at international scientific conferences
    V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    article

    article

  2. Modeling and control of discrete event and hybrid systems using petri nets and OPC unified architecture / aut. Erik Kučera, Oto Haffner, Peter Drahoš, Alena Kozáková
    Kučera Erik ; 030400  Haffner Oto ; 030400 Drahoš Peter ; 030400 Kozáková Alena ; 030400
    IEEE Access . Vol. 10, (2022), s. 120735-120751
    discrete-event system OPC Unified Architecture cyber-physical system system control hybrid system Petri nets
    článok z periodika
    ADC - Scientific titles in foreign carented magazines and noticed year-books
    V3 - Vedecký výstup publikačnej činnosti z časopisu
    article

    article

  3. Petriflow and proces-driven programmig / aut. Gabriel Juhás, Tomáš Kováčik, Jakub Kovář, Martin Kranec
    Juhás Gabriel ; 035000  Kováčik Tomáš ; 035000 Kovář Jakub ; 035000 Kranec Martin ; 035000
    Petri Net Newsletter . Vol. 87, (2021), s. 29-36
    petriflow Petri nets Process-driven programming
    článok z periodika
    ADE - Scientific titles in foreign not carented magazines and other year-books
    V3 - Vedecký výstup publikačnej činnosti z časopisu
    article

    article

  4. Petriflow language and netgrif application builder / aut. Gabriel Juhás, Tomáš Kováčik, Jakub Kovář, Martin Kranec, Ľuboš Petrovič
    Juhás Gabriel ; 035000  Kováčik Tomáš ; 035000 Kovář Jakub ; 035000 Kranec Martin ; 035000 Petrovič Ľuboš ; 030000
    BPM 2021 : . S. 171-175
    petriflow Petri nets Bussiness Process Design
    http://ceur-ws.org/Vol-2973/paper_284.pdf
    článok zo zborníka
    AFC - Reports at international scientific conferences
    V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    article

    article

  5. Netgrif application engine / aut. Gabriel Juhás, Tomáš Kováčik, Jakub Kovář, Martin Kranec, Ľuboš Petrovič
    Juhás Gabriel ; 035000  Kováčik Tomáš ; 035000 Kovář Jakub ; 035000 Kranec Martin ; 035000 Petrovič Ľuboš ; 030000
    BPM 2021 : . S. 166-170
    petriflow Petri nets process engine
    http://ceur-ws.org/Vol-2973/paper_283.pdf
    článok zo zborníka
    AFC - Reports at international scientific conferences
    V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    article

    article

  6. Collecting structured logs of instances as process nets in Petriflow language / aut. Gabriel Juhás, Tomáš Kováčik, Jakub Kovář, Martin Kranec
    Juhás Gabriel ; 035000  Kováčik Tomáš ; 035000 Kovář Jakub ; 035000 Kranec Martin ; 035000
    PNSE 2021 : . S. 105-122
    petriflow Process-driven programming Petri nets Process nets
    http://ceur-ws.org/Vol-2907/
    článok zo zborníka
    AFC - Reports at international scientific conferences
    V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    article

    article

  7. PetriNet editor + PetriNet engine: New software tool for modelling and control of discrete event systems using Petri nets and code generation / aut. Erik Kučera, Oto Haffner, Peter Drahoš, Roman Leskovský, Ján Cigánek
    Kučera Erik ; 030400  Haffner Oto ; 030400 Drahoš Peter ; 030400 Leskovský Roman ; 030400 Cigánek Ján ; 030400
    Applied Sciences . Vol. 10, Iss. 21 (2020), Art. no. 7662 [19] s.
    discrete event systems code generation Cyber-physical Systems system control microcontroller Petri nets
    https://www.mdpi.com/2076-3417/10/21/7662
    článok z periodika
    ADC - Scientific titles in foreign carented magazines and noticed year-books
    V3 - Vedecký výstup publikačnej činnosti z časopisu
    article

    article

  8. Timed Automaton and Petri Net models of Intersection Control / aut. Jana Flochová, Ján Pivarček, Peter Kubanda
    Flochová Jana ; 066000  Pivarček Ján Kubanda Peter
    CoDIT 2020 : . S. 201-205
    automata Petri nets tools information technology automobiles
    https://ieeexplore.ieee.org/document/9263890
    článok zo zborníka
    AFC - Reports at international scientific conferences
    V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    article

    article

  9. Supervisors of Petri nets / aut. Jana Flochová, Tomáš Lojan
    Flochová Jana ; 066000  Lojan Tomáš
    Vedecké práce MtF STU v Bratislave so sídlom v Trnave. Research papers Faculty of Materials Science and Technology Slovak University of Technology in Trnava . Vol. 27, no. 45 (2019), s. 33-41
    discrete event systems supervisory control Petri nets reachability tree
    https://www.researchpapers.mtf.stuba.sk/wp-content/uploads/2019/11/VP45_06_2019_Flochova.pdf
    článok z periodika
    ADF - Scientific titles in home not carented magazines and other year-books
    V3 - Vedecký výstup publikačnej činnosti z časopisu
    article

    article

  10. Process communication in petriflow: A case study / aut. Milan Mladoniczky, Gabriel Juhás, Juraj Mažári
    Mladoniczky Milan ; 035000  Juhás Gabriel ; 035000 Mažári Juraj ; 035000
    Algorithms and Tools for Petri nets : . S. 27-32
    petriflow inter-process communication Petri nets Workflow process events Petriflow actions
    článok zo zborníka
    BEE - Scientific works in not noticed year-books from international undertakings, foreign year-books
    O2 - Odborný výstup publikačnej činnosti ako časť knižnej publikácie alebo zborníka
    article

    article


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.