中山大学学报(自然科学版)
中山大學學報(自然科學版)
중산대학학보(자연과학판)
ACTA SCIENTIARUM NATURALIUM UNIVERSITATIS SUNYATSENI
2004年
z1期
145-148
,共4页
着色Petri网%业务冲突%使用实例
著色Petri網%業務遲突%使用實例
착색Petri망%업무충돌%사용실례
提出了一种可在建模和仿真阶段进行业务冲突检测的着色Petri网模型,为了克服Petri网的状态爆炸问题,引入了使用实例驱动法,即以引发序列仿真系统的典型行为,有针对性地检测业务冲突的发生.最后,以一个真实的案例说明模型的应用.本方法适用于着色Petri网的仿真工具CPN Tools.
提齣瞭一種可在建模和倣真階段進行業務遲突檢測的著色Petri網模型,為瞭剋服Petri網的狀態爆炸問題,引入瞭使用實例驅動法,即以引髮序列倣真繫統的典型行為,有針對性地檢測業務遲突的髮生.最後,以一箇真實的案例說明模型的應用.本方法適用于著色Petri網的倣真工具CPN Tools.
제출료일충가재건모화방진계단진행업무충돌검측적착색Petri망모형,위료극복Petri망적상태폭작문제,인입료사용실례구동법,즉이인발서렬방진계통적전형행위,유침대성지검측업무충돌적발생.최후,이일개진실적안례설명모형적응용.본방법괄용우착색Petri망적방진공구CPN Tools.
