位置：成果数据库 > 期刊 > 期刊详情页
A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems
  • ISSN号：1083-4427
  • 期刊名称：IEEE Transactions on Systems Man and Cybernetics P
  • 时间：0
  • 页码：299-308
  • 语言：英文
  • 相关项目：Petri网系统的子系统相关性研究
作者： Zhou, MengChu|Du, YuYue|Jiang, ChangJun|
同期刊论文项目
Petri网系统的子系统相关性研究
期刊论文 23 会议论文 4 专利 2
同项目期刊论文
一种基于领域本体的最优Web服务组合方法
基于Petri网的容错系统分层建模
基于一致分布的时间Petri网模型
基于离散微粒群算法的动态Web服务选择
Automated Web Service Composition Supporting Conditional Branch Structures
混合语义时间Petri网模型
An algorithm for generating home states of Petri nets
Reliable web services selection based on finite state machine model
Indeterminacy-aware service selection for reliable service composition
Automatic Web services composition algorithm based on optimal matching
基于Petri网的协同工作流建模与分析
基于逻辑Petri网的图书馆借阅系统的建模与分析
基于程序Petri网的新型软件开发方法研究
Modeling multimedia synchronization using petri nets
A process generation approach of dynamic workflows based description logics
Soundness analysis of t-restricted interorganizational logical workflow nets
Modeling and design for dynamic workflows based on flexible activities
逻辑Petri网变迁使能的判定方法
模型机控制并行口的设计与实现