Universitaet der Bundeswehr Muenchen, Germany;
Universitaet der Bundeswehr Muenchen, Germany;
diagram editor; syntax-based assistance; graph parsing;
机译:通过状态图和CSP对可暂停的业务流程进行建模和模型检查
机译:社论:为电子商务建模和模拟业务流程
机译:使用Swimlane图验证业务流程模型
机译:业务流程模型作为基于语法的图表编辑器的展示
机译:在专家和新手的论证制图任务中建模推理过程:对制图行为和思想数据的顺序分析
机译:组织银行信息系统设计中的业务流程流程图以及最佳实践的识别和交流:制药行业的经验
机译:通过状态图和CSP对可暂停的业务流程进行建模和模型检查