Servers; Petri nets; Analytical models; Computational modeling; Image color analysis; History; Decision support systems;
机译:借助彩色Petri网对分布式系统消息序列图进行分析和验证
机译:用于多状态多单元系统的可靠性和维护分析的彩色随机Petri网建模
机译:使用分层定时有色Petri网的空中交通管制系统的建模和分析
机译:有色Petri网对单调读一致性分布式系统的建模与分析。
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:彩色Petri网用于生物系统的多层次多尺度和多维建模
机译:在彩色培养网的帮助下分析和验证分布式系统的消息序列图表
机译:用有色petri网建模环境系统。