作者：马玉祥; 李远军; 刘彦明智能网petri网网络模型业务验证业务设计
摘要：在分析设计智能网业务的基础上提出了一种智能网业务逻辑的规范描述,将其中涉及并发、同步等的描述转化为Petri网模型,探讨了在该模型上的验证方法,并给出了一个应用该规范和模型的例子.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《西安电子科技大学学报》（CN：61-1076/TN）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《西安电子科技大学学报》发挥我校的学术优势，反映国内外高质量、高水平的最新科研成果，体现通信与电子信息特色，扩大学报的影响，促进国内外学术交流，热心培养学术人才，为"科教兴国"和"科教兴校"服务。
杂志详情
