Institute AIFB, University of Karlsruhe, D-76128 Karlsruhe, Germany;
internet-based commerce; workflow modeling; petri nets; structured documents; SGML;
机译:输入和输出约束的工作流系统建模?一种基于Petri网的方法
机译:资源受限和时间不确定的工作流建模与分析:基于Petri网的方法
机译:基于高级Petri网的Web服务建模和组合方法
机译:基于互联网的商业工作流程模型:一种基于高级Petri网的方法
机译:使用模糊定时高级Petri网进行协议建模,分析和设计。
机译:使用高级Petri网建模免疫系统反应的方法学方法
机译:基于互联网的商业工作流程模型:一种基于高级Petri网的方法