Search results

Records found: 13  
Your query: Author Sysno/Doc.kind = "^stu_us_auth 0026771 xcla^"
  1. 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
    article

    article

  2. 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

  3. 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š
    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
    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š
    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
    article

    article

  5. 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

  6. 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

  7. 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

  8. Process mining: From event sourcing to event structures / aut. Juraj Mažári, Gabriel Juhás, Milan Mladoniczky
    Mažári Juraj ; 035000  Juhás Gabriel ; 035000 Mladoniczky Milan ; 035000
    ELITECH´18 : . CD-ROM, [5] p.
    process mining event sourcing event structures Petri nets Petriflow
    článok zo zborníka
    AFD - Reports at home scientific conferences
    V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    article

    article

  9. Inter-process synchronization of instances in Petriflow language / aut. Milan Mladoniczky, Gabriel Juhás, Juraj Mažári
    Mladoniczky Milan ; 035000  Juhás Gabriel ; 035000 Mažári Juraj ; 035000
    ELITECH´18 : . CD-ROM, [5] p.
    Petriflow Petri nets process communication process instances process synchronization
    článok zo zborníka
    AFD - Reports at home scientific conferences
    V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    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