机译:基于Petri网和Pi演算的协作业务流程的统一建模和分析
SchoolofSoftware,TsinghuaUniversity;
机译:基于队列逻辑Petri网的业务流程建模与分析
机译:基于Petri网的集成制造业务流程的工作流建模和分析
机译:面向对象的Petri网和基于π演算的可重构制造系统建模和分析:
机译:基于Petri网和PI微积分的协作业务流程建模
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:BioNetSim:基于Petri网的建模工具用于模拟生化过程
机译:petri网中EKD业务流程模型映射petri网中EKD业务流程模型的映射
机译:用于建模和分析业务流程的petri网类