Universit#x00E9;
Lille Nord de France, Laboratoire d'Informatique, Signal et Image de la C#x00F4;
te d'Opale, BP-719 62228 CALAIS Cedex FRANCE;
BPMN process models; Kripke structure LTL; Model checking;
机译:BPMN-L:用于建模过程景观的BPMN扩展
机译:专业教育学专门研究儿童和青少年的门诊护理过程:以使用
机译:BPMN4KM:用于建模敏感业务流程的知识视角的BPMN扩展的设计和实现
机译:检测BPMN过程模型中的结构误差
机译:使用BPMN的过程建模质量:一种模型驱动方法
机译:在解剖病理过程建模中实现业务流程建模符号(BPMN)
机译:BPMN Miner 2.0:发现分层和块结构化的BPMN流程模型