Monitoring; Petri nets; Modeling; Software tools; System recovery;
机译:用于自动合成最小限度活动的软件工具,用于对一类制造和服务系统的通用Petri网模型执行监督策略
机译:一类通用Petri网中增强生命力的监管政策的信息结构
机译:具有生化执行监督策略的一类可确定的部分控制Petri网
机译:基于软件的综合对一类一般培养网执行监督政策
机译:在计算一类通用Petri网的生命力实施监督策略时
机译:二进制有序资源Petri Net类的虚拟控制策略
机译:关于通过细化获得的完全受控的Petri网中的增强生命力的监督策略