QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 发表日期：2009     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 a petri net-based model for verification of obligations and accountability in cooperative systems 期刊论文 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 卷号: 39, 期号: 2, 页码: 299-308 Du YuYue; Jiang ChangJun; Zhou MengChu 收藏  |  浏览/下载：14/0  |  提交时间：2011/03/18 Accountability  cooperative systems  discrete event system  formal model  obligations  Petri nets   Modeling and monitoring of E-commerce workflows. 期刊论文 Information Sciences, 2009, 卷号: Vol.179 No.7, 页码: 995-1006 作者:  Du,YuYue;  Jiang,ChangJun;  Zhou,MengChu;  Fu,You 收藏  |  浏览/下载：2/0  |  提交时间：2020/01/13 ELECTRONIC  commerce  WORKFLOW  COMPUTER  simulation  ELECTRONIC  monitoring  in  the  workplace  SEMANTIC  networks  GRAPH  theory   A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems 期刊论文 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 卷号: 39, 期号: 2, 页码: 299-308 作者:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/26 Accountability  cooperative systems  discrete event system  formal  model  obligations  Petri nets   Modeling and monitoring of E-commerce workflows 期刊论文 INFORMATION SCIENCES, 2009, 卷号: 179, 期号: 7, 页码: 995-1006 作者:  Du, Yuyue;  Jiang, Changjun;  Zhou, MengChu;  Fu, You 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/26 Electronic commerce workflow  Labeled workflow net  Modeling  Monitoring  Soundness