Fac. of Electr. Eng. Inf. Technol., Slovak Univ. of Technol. in Bratislava, Bratislava, Slovakia;
Petri nets; discrete event systems; mathematics computing; storage automation; AS/RS modelling; CPN Tools software; automated storage and retrieval systems; discrete-event systems; hierarchical coloured Petri nets; timed coloured Petri nets; Cranes; Image color analysis; Load modeling; Loading; Mathematical model; Petri nets; Vehicles; AS/RS; CPN; Petri net; colour; hierarchical; informatics; model; modelling; robotics; storage; system; warehouse;
机译:使用分层定时有色Petri网的空中交通管制系统的建模和分析
机译:使用分层定时有色Petri网的多过程食品制造系统模块化模型的开发
机译:在TRBAC安全政策的正式研究中使用等级彩色培养网
机译:使用层次和定时彩色培养网建模AS / RS
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:使用等级彩色Petri-网的银行现金存款交易的沉积滑移模式建模与仿真
机译:定时着色petri网及其在物流中的应用