机译:BPMN模型向有色Petri网模型的转换和验证的方法
Univ Constantine 2 Abdelhamid Mehri Comp Sci Dept MISC Lab Constantine Algeria;
Univ Constantine 2 Constantine Algeria;
Toulouse Univ IRIT Toulouse France;
Mohammed Seddik Ben Yahia Univ Jijel Algeria;
BPMN; CPN; Formal Verification; Graph Transformation; Model Checker; Model-Driven Engineering; Termination; Transformation Correctness;
机译:一种模型驱动的工程方法,使用Petri网正式验证BPMN模型
机译:基于图变换的UML和彩色Petri网集成建模与分析方法
机译:使用彩色Petri网验证基于BOM的组合模型的动态语义可组合性
机译:将二维网格有色Petri网模型转换为无穷Petri网,反之亦然
机译:用彩色Petri网建模可重入制造系统的系统方法。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:使用曲线图转换的UML和彩色Petri网集合建模和分析方法。