论文部分内容阅读
本文介绍了Petri网方法和工作流技术，将工作流技术运用到系统的建模中，优化了设计过程，成功解决了设计流程中遇到的并发问题和冲突问题，对设计工作流程复杂的系统有直接指导意义。
基于Petri网的并发冲突工作流建模及验证
【摘 要】
：
本文介绍了Petri网方法和工作流技术，将工作流技术运用到系统的建模中，优化了设计过程，成功解决了设计流程中遇到的并发问题和冲突问题，对设计工作流程复杂的系统有直接指导意义
【机 构】
：
西南大学计算机与信息科学学院,重庆,400715
【出 处】
：
2006年全国理论计算机科学学术年会
【发表日期】
：
2006年期
其他文献
本文对基于实例学习的并行负荷分配方法进行了研究。文章给出一个基于机器学习的可适应性Java并行任务负荷分配算法,该算法通过学习了解所处运行环境的并行开销,并根据程序的
<正>1 引言网格是一个集成的计算与资源环境,或者说是一个计算资源池。网格能够充分吸纳各种计算资源,并将它们转化为一种随处可得的、可靠的、标准的、经济的计算能力。网格
会议
本文对异构计算环境下并行任务调度算法研究进展情况进行了分析。文章分析了@异构计算系统中任务调度的特点，对异构计算环境下任务调度算法进行了比较。
目的:制备羟基喜树碱的半固体脂质纳米粒(HCPT-SSLN).方法:在单因素考察的基础上,通过正交设计优选处方和制备工艺,并对优化条件下制备的HCPT-SSLN进行质量评价.结果:制备的H
本文对基于GSS-API的分布式可移植加密算法进行了研究。文章围绕GSS-API提供的安全设计、加密数据的采样计算方法、使用GSS-API的工作流程、具体设计流程等进行了论述。
质量控制分析方法验证是质量研究的主要内容,也是质量标准各检测项目分析方法制订的基础.在审评工作中发现分析方法验证方面存在着各类问题,如方法验证设计不科学、验证不充
目的:建立一种预测药物与载体材料相容性的方法.方法:采用基团贡献法(group-contribution method,GCM)分别计算药物紫杉醇(Paclitaxel,PTX)与载体材料聚乳酸[poly(DL-lactide
本文在移动计算形式化研究中引入了灰箱演算系统并展开了相关的讨论。文章分析了移动计算采用灰箱演算的原因，对移动灰箱演算方法进行了阐述。
本文根据网格交易特点----时空局部性，提出了时间相关的双层信任模型，在管理域内采用全局信任模型，管理域间采用推荐信任模型，利用路径搜索引擎搜索推荐路径。
以挑战-应答机制为基础,基于ElGamal密码体制,设计了一种能有效应用于网络环境的动态口令身份认证方案.该方案采用指纹和智能卡双重认证技术,可进行双向认证,能抵抗重放攻击
会议