位置：成果数据库 > 期刊 > 期刊详情页
Analysis and verification of dynamic stock trading systems
  • ISSN号：1812-5638
  • 期刊名称：Information Technology Journal
  • 时间：0
  • 页码：466-473
  • 语言：中文
  • 相关项目：逻辑Petri网理论及其合成运算性质研究
作者： Du, Yuyue|Zheng, Hong|Yu, Shuxia|
同期刊论文项目
逻辑Petri网理论及其合成运算性质研究
期刊论文 41 会议论文 5 获奖 4
同项目期刊论文
一种基于场景的需求驱动构件服务聚集方法
基于OFBiz与J2EE的水利水电应用系统的设计
一种基于领域本体的最优Web服务组合方法
基于工作流网的电子商务平台建模技术研究
A routing-based dynamic workflow
A fast algorithm for web service composition based on dynamic description logic
基于AHP的企业绩效网络考核系统设计
基于Petri网的容错系统分层建模
A Vector Matching Method for Analyzing Logic Petri Nets
应用三个移动锚节点的非测距定位方法
基于Petri网的协同工作流建模与分析
基于MDA和可执行形式化的可信软件设计
Modeling and monitoring of E-commerce workflows
改进的最小割集生成算法与联锁系统模型的安全性测试
Petri网在电子商务分析中的应用
基于逻辑Petri网的图书馆借阅系统的建模与分析
Logic Petri nets and equivalency
基于程序Petri网的新型软件开发方法研究
公平消息传递并行程序设计的Petri网方法
Soundness analysis of inter-organizational workflows
A formal approach for obligation analysis of E-commerce
一种基于网格的电子商务模式
物流配送系统的 Petri网 模型与分析
Petri net methods of constructing kleene-closure operations of regular languages
On the design and temporal petri net verification of grid commerce architecture
Modeling non-repudiation in distributed systems
逻辑Petri网变迁使能的判定方法
应用Petri网求解事故树最小割集的方法研究
基于Agent的客户服务系统模型