论文部分内容阅读
文中定义了Petri网的一子类系列：κ-选择网，它形成一个后类包含前类的Petri网子类的无穷序列，证明了此无穷序列的并集等于Petri网类，自由选择网是κ=1的κ-选择网，即1-选择网．在证明自由选择网系统可以用Pi演算表达的基础上，文中进一步证明了所有2-选择网系统可以用Pi演算表达．
k-选择网和Pi演算的表达能力
【摘 要】
：
文中定义了Petri网的一子类系列：κ-选择网，它形成一个后类包含前类的Petri网子类的无穷序列，证明了此无穷序列的并集等于Petri网类，自由选择网是κ=1的κ-选择网，即1-选择网．在证
【机 构】
：
西安电子科技大学电子装备结构实验室,西北大学信息科学与技术学院
【出 处】
：
计算机学报
【发表日期】
：
2013年6期
【基金项目】
：
本课题得到中央高校基本科研业务费（72114431）和西安市科技计划项目（OF0201110403）资助
其他文献
蓝天深邃、阳光炽烈、白云悠悠、神山皑皑、经幡飘扬、牛羊启遍野……多少人心中如梦如幻的SHANGRILA（香格里拉）——青藏高原，如同来自天堂的少女，让20世纪初一位旅行者在他的《
期刊
勇士们请拿起武器GO！GO！GO!也许在这一路征战中会遇到强大的敌人，甚至是可怕的骷髅、恶魔、但为了保卫家园……游戏中的你英勇善战，而现实中的你，在中贝尔金（Belkin) N52集成游戏控