机译:使用彩色Petri网进行交互式Web界面建模,仿真和分析
Fed Inst Southern Minas Gerais, Passos, MG, Brazil;
Univ Fed Uberlandia, Fac Comp, Uberlandia, MG, Brazil;
Univ Fed Uberlandia, Fac Comp, Uberlandia, MG, Brazil;
Univ Fed Sergipe, Dept Comp, Sao Cristovao, SE, Brazil;
Univ Fed Uberlandia, Fac Comp, Uberlandia, MG, Brazil;
Web interaction modeling; Human-computer interaction; Web interfaces; Formal methods; Colored Petri Nets;
机译:基于彩色Petri网的信号强度基于信号强度的主节点选举算法的仿真,建模和分析
机译:通过彩色Petri网对用户在网络中的导航行为进行建模,以确定用户对推荐网页的兴趣
机译:基于Web的界面,用于仿真彩色Petri网模型
机译:从Petri NETS到彩色Petri NET:基于NETS的建模和仿真形式主义教程简介
机译:用彩色Petri网建模可重入制造系统的系统方法。
机译:使用彩色Petri网的基于工作流的Web服务组合的QoS度量
机译:恶性疟原虫中磷酸戊二酯途径的彩色Petri网模型模拟与分析