Výsledky vyhľadávania

  1. Tool for Diagnosis of Stochastic Automata / aut. Štefan Krištofík, Jana Flochová
    Krištofík Štefan ; 070400  Flochová Jana ; 066000
    EBCCSP 2020 : . S. 1-3
    discrete event systems stochastic automata stochastic diagnosers tool
    článok zo zborníka
    AFC - Publikované príspevky na zahraničných vedeckých konferenciách
    článok

    článok

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

  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