网语言相关论文
当今,并发程序设计已成为计算机界关注的研究领域.众多学者利用Pteri网、时序逻辑等理论工具进行这一领域的研究.然而,这些理论模......
本文定义了工作流网的精炼操作，研究了精炼工作流网的行为保持性质。结果表明精炼工作流网满足行为保持性质，即精炼工作流网的行为与......
