论文部分内容阅读
对Petri网的深入研究有助于基于Petri网的工作流管理系统的开发,S组件可用来刻画Petri网的一些重要特性。给出了一种在Petri网中查找S组件的算法。实验结果证明该算法是切实可行的。
一种Petri网中S组件的查找算法
【摘 要】
：
对Petri网的深入研究有助于基于Petri网的工作流管理系统的开发,S组件可用来刻画Petri网的一些重要特性。给出了一种在Petri网中查找S组件的算法。实验结果证明该算法是切实可行的。
【机 构】
：
清华大学软件学院
【出 处】
：
计算机应用与软件
【发表日期】
：
2007年11期
其他文献
本文主要对 PKI 技术、CPU 卡技术以及加密算法进行研究,并对税控系统的整体系统、整体安全性进行分析与设计,以实现“以机控票,以票管税”的目的。
近年来,随着网络技术的迅猛发展,对数据进行同步更新以保持一致性的问题再次成为了分布式数据库领域的一个研究热点,尤其是在异构或异质环境下的数据一致性。在讨论分布式数据库和W eb Service等有关理论的基础上,结合当前新兴的W ebService及JDBC技术,提出了基于W eb Service的、适用于分布式异质数据库对等更新的解决方案,并对其进行了实现和实际应用的检验。
ECR是目前零售行业正在大力推广的管理策略,但与其相关的信息技术方面的基础还相对比较薄弱。从实际应用出发,以现有的EDI商务流程为基础,使用ebXML基础架构,建立了ebXML商务流程模型,实现了ebXML消息服务,并解决了消息在Internet上的传输和安全问题,构建满足ECR系统要求的ebXML数据交换系统,实现精确的信息流和高效的实物流在整个供应链内及时有序的流动。