Unified modeling language; Petri nets; Semantics; Servers; Analytical models; Tools; Biological system modeling;
机译:基于图变换的UML和彩色Petri网集成建模与分析方法
机译:BPMN模型向有色Petri网模型的转换和验证的方法
机译:向Petri网转换的UML状态图形式化方法。
机译:从UML状态图和协作图到彩色Petri网模型:基于图变换的虚拟企业业务流程建模和分析方法
机译:将安全方面系统集成到UML 2.0设计模型中的模型到模型转换方法
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:使用曲线图转换的UML和彩色Petri网集合建模和分析方法。