Petri nets; Synthesis; Choice-freeness; Structural conditions;
机译:无选择Petri网:具有批量服务和到达功能的确定性并发系统模型
机译:有界自由选择Petri网的合成
机译:自由选择连续Petri网的最小时间分散控制
机译:关于定时选择的培养网的国家估算
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:使用Petri网工具研究生物系统的特性和动力学
机译:有界无选择petri网的合成
机译:用Flexiblemanufacturing系统和petri网控制离散事件动态系统