Výsledky vyhľadávania
- 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
Procedia Computer Science : . Vol. 225, (2023), s. 1438-1447
Petri nets simulation MATLAB Smart homes
https://www.sciencedirect.com/science/article/pii/S1877050923012905
článok zo zborníka
AFC - Publikované príspevky na zahraničných vedeckých konferenciách
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
článok
- 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 - Vedecké práce v zahraničných karentovaných časopisoch
V3 - Vedecký výstup publikačnej činnosti z časopisučlánok
- 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 - 12/Vedecké práce v zahraničných nekarentovaných časopisoch ; 13/Vedecké práce v ostatných zahraničných časopisoch
V3 - Vedecký výstup publikačnej činnosti z časopisučlánok
- 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 - Publikované príspevky na zahraničných vedeckých konferenciách
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníkačlánok
- 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 - Publikované príspevky na zahraničných vedeckých konferenciách
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníkačlánok
- 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 - Publikované príspevky na zahraničných vedeckých konferenciách
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníkačlánok
- 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
V3 - Vedecký výstup publikačnej činnosti z časopisučlánok
- 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
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníkačlánok
- 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
V3 - Vedecký výstup publikačnej činnosti z časopisučlánok
- 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
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníkačlánok