Výsledky vyhľadávania

  1. 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 - Vedecké práce v zahraničných karentovaných časopisoch
    článok

    článok

  2. 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 - Publikované príspevky na zahraničných vedeckých konferenciách
    článok

    článok

  3. 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 - 12/Vedecké práce v domácich nekarentovaných časopisoch ; 13/Vedecké práce v ostatných domácich časopisoch
    článok

    článok

  4. 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 - Publikované príspevky na domácich vedeckých konferenciách
    článok

    článok

  5. 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 - Publikované príspevky na domácich vedeckých konferenciách
    článok

    článok

  6. Petriflow + Netgrif = Petri net driven application development / aut. Juraj Mažári, Milan Mladoniczky, Gabriel Juhás, Tomáš Gažo, Martin Makáň
    Mažári Juraj ; 035000  Mladoniczky Milan ; 035000 Juhás Gabriel ; 035000 Gažo Tomáš Makáň Martin
    Petri Net Newsletter . Vol. 86, (2018), s. 3-16
    Petri nets Workflow petriflow modelling roles data process spring boot
    článok z periodika
    ADE - 12/Vedecké práce v zahraničných nekarentovaných časopisoch ; 13/Vedecké práce v ostatných zahraničných časopisoch
    článok

    článok

  7. 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 - 13/Odborné práce v zahraničných zborníkoch (konferenčných aj nekonferenčných); 12/(len nerecenzované)
    článok

    článok

  8. Petriflow: Rapid language for modelling Petri nets with roles and data fields / aut. Milan Mladoniczky, Gabriel Juhás, Juraj Mažári, Tomáš Gažo, Martin Makáň
    Mladoniczky Milan ; 035000  Juhás Gabriel ; 035000 Mažári Juraj ; 035000 Gažo Tomáš Makáň Martin
    Algorithms and Tools for Petri nets : . S. 45-50
    Petri nets petriflow modelling data process roles
    článok zo zborníka
    AFC - Publikované príspevky na zahraničných vedeckých konferenciách
    článok

    článok

  9. Netgrif workflow management system based on Petriflow language / aut. Juraj Mažári, Gabriel Juhás, Milan Mladoniczky, Tomáš Gažo, Martin Makáň
    Mažári Juraj ; 035000  Juhás Gabriel ; 035000 Mladoniczky Milan ; 035000 Gažo Tomáš Makáň Martin
    Algorithms and Tools for Petri nets : . S. 39-44
    Petri nets Workflow spring boot
    článok zo zborníka
    AFC - Publikované príspevky na zahraničných vedeckých konferenciách
    článok

    článok